Test: be more patient waiting for servers to exit.

This should likely fix a false positive when running with the --valgrind
option.
This commit is contained in:
antirez
2015-04-01 15:20:54 +02:00
parent aa67aec84e
commit e42baed4c3
+6 -1
View File
@@ -54,10 +54,15 @@ proc kill_server config {
# kill server and wait for the process to be totally exited
catch {exec kill $pid}
if {$::valgrind} {
set max_wait 60000
} else {
set max_wait 10000
}
while {[is_alive $config]} {
incr wait 10
if {$wait >= 5000} {
if {$wait >= $max_wait} {
puts "Forcing process $pid to exit..."
catch {exec kill -KILL $pid}
} elseif {$wait % 1000 == 0} {