Do not close stdin before killing child bg process
commit8206770c0af94d84a48f53024cdaa0d0e1d67335
authorPeter Grayson <pete@jpgrayson.net>
Mon, 23 Aug 2021 20:35:10 +0000 (23 16:35 -0400)
committerPeter Grayson <pete@jpgrayson.net>
Mon, 23 Aug 2021 20:49:37 +0000 (23 16:49 -0400)
tree88d0cce89f72cf6879076691acb50ebeb7006c20
parent4cbe399553be749391bec0a165da5818702dcaf0
Do not close stdin before killing child bg process

Addresses #78

Closing stdin of the child git process to terminate itself. On Windows, the
subsequent attempt to kill the already-terminating child process results in
an exception (PermissionError or WindowsError or OSError). On Linux, the
terminated child process remains in a defunct/zombie state so that the
subsequent kill is idempotent and the child is finalized by wait().

Signed-off-by: Peter Grayson <pete@jpgrayson.net>
stgit/lib/git/repository.py