diff options
-rwxr-xr-x | git-gui.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/git-gui.sh b/git-gui.sh index bf68699616..dc53e9a8f5 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -670,9 +670,7 @@ proc kill_file_process {fd} { catch { if {[is_Windows]} { - # Use a Cygwin-specific flag to allow killing - # native Windows processes - exec kill -f $process + exec taskkill /pid $process } else { exec kill $process } |