diff options
-rw-r--r-- | git/cmd.py | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -618,7 +618,10 @@ class Git(LazyMixin): try: os.kill(pid, SIGKILL) for child_pid in child_pids: - os.kill(child_pid, SIGKILL) + try: + os.kill(child_pid, SIGKILL) + except OSError: + pass kill_check.set() # tell the main routine that the process was killed except OSError: # It is possible that the process gets completed in the duration after timeout |