Merge pull request #239 from sschuberth/taskkill

git-gui/gitk: Do not use a Cygwin-specific kill flag on Windows
This commit is contained in:
Johannes Schindelin
2015-03-20 15:04:52 +01:00

View File

@@ -648,9 +648,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
}