|
|
|
@ -79,7 +79,7 @@ if {![catch {
|
|
|
|
|
} |
|
|
|
|
if {$count_killed > 0} { |
|
|
|
|
puts stderr "\nKilled $count_killed processes. Waiting a short time before attempting to delete executable" |
|
|
|
|
after 2000 |
|
|
|
|
after 1000 |
|
|
|
|
} |
|
|
|
|
} else { |
|
|
|
|
puts stderr "Ok.. no running punk processes found" |
|
|
|
@ -104,7 +104,7 @@ if {[file exists $dirname/punk86.exe]} {
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
file rename $dirname/punk86 $dirname/punk86.exe |
|
|
|
|
after 500 |
|
|
|
|
after 200 |
|
|
|
|
set deployment_folder [file dirname $dirname] |
|
|
|
|
|
|
|
|
|
if {[file exists $deployment_folder/punk86.exe]} { |
|
|
|
|