Commit b811b334 authored by Premysl Hruby's avatar Premysl Hruby Committed by antirez
Browse files

in kill_server send the signal once, then wait for up to 5sec before sending lethal SIGKILL

parent 4d57e448
...@@ -46,11 +46,16 @@ proc kill_server config { ...@@ -46,11 +46,16 @@ proc kill_server config {
} }
# kill server and wait for the process to be totally exited # kill server and wait for the process to be totally exited
catch {exec kill $pid}
while {[is_alive $config]} { while {[is_alive $config]} {
if {[incr wait 10] % 1000 == 0} { incr wait 10
if {$wait >= 5000} {
puts "Forcing process $pid to exit..."
catch {exec kill -KILL $pid}
} elseif {$wait % 1000 == 0} {
puts "Waiting for process $pid to exit..." puts "Waiting for process $pid to exit..."
} }
catch {exec kill $pid}
after 10 after 10
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment