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:
Thomas Braun
2014-10-13 17:33:32 +02:00
2 changed files with 2 additions and 4 deletions

View File

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

View File

@@ -445,7 +445,7 @@ proc stop_instance {inst} {
set pid [pid $fd]
if {$::tcl_platform(platform) eq {windows}} {
exec kill -f $pid
exec taskkill /pid $pid
} else {
exec kill $pid
}