Windows: The kids won't die! #1
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Child processes are not killed by the parent when killed
Two possible solutions:
pidFile => pidsFile
: Store child and parent process pids in thepidsFile
.taskkill /pid %d /T /F
: shell out to kill using taskkillWindows bugsto Windows: The kids won't die!Fixed by
4c44f70ec3