]> git.neil.brown.name Git - edlib.git/commit
projects / edlib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa1943f) | patch
notmuch: don't leave un-waited processes.
authorNeilBrown <neil@brown.name>
Wed, 15 Feb 2023 02:41:14 +0000 (13:41 +1100)
committerNeilBrown <neil@brown.name>
Wed, 15 Feb 2023 02:41:14 +0000 (13:41 +1100)
commitfffa54112b3bbc85af7dd288eb5e09be34530921
tree111f12a832a77e2cfec116bc4a1c9a67f23cc5d7tree | snapshot
parentfa1943f8f3c903f9c1d4c927011b2130f6d11a4dcommit | diff
notmuch: don't leave un-waited processes.

If a timeout expires, kill the process and wait for it.  Don't just
leave it there.

Signed-off-by: NeilBrown <neil@brown.name>
python/module-notmuch.py diff | blob | history
Because one more editor is never engough