We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents be148fa + 23b4c7e commit 8768113Copy full SHA for 8768113
git-gui/git-gui.sh
@@ -669,9 +669,7 @@ proc kill_file_process {fd} {
669
670
catch {
671
if {[is_Windows]} {
672
- # Use a Cygwin-specific flag to allow killing
673
- # native Windows processes
674
- exec kill -f $process
+ exec taskkill /pid $process
675
} else {
676
exec kill $process
677
}
gitk-git/gitk
@@ -445,7 +445,7 @@ proc stop_instance {inst} {
445
set pid [pid $fd]
446
447
if {$::tcl_platform(platform) eq {windows}} {
448
- exec kill -f $pid
+ exec taskkill /pid $pid
449
450
exec kill $pid
451
0 commit comments