mirrors/valkey
1
0
Fork 0
mirror of http://github.com/valkey-io/valkey synced 2024-11-22 09:17:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Test: be more patient waiting for servers to exit.

Browse Source 
This should likely fix a false positive when running with the --valgrind
option.
This commit is contained in:
antirez 2015-03-31 23:43:38 +02:00
parent 66f9393ee4
commit 386804246f
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tests/support/server.tcl
View File

@ -54,10 +54,15 @@ 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} catch {exec kill $pid}
if {$::valgrind} {
set max_wait 60000
} else {
set max_wait 10000
}
while {[is_alive $config]} { while {[is_alive $config]} {
incr wait 10 incr wait 10
if {$wait >= 5000} { if {$wait >= $max_wait} {
puts "Forcing process $pid to exit..." puts "Forcing process $pid to exit..."
catch {exec kill -KILL $pid} catch {exec kill -KILL $pid}
} elseif {$wait % 1000 == 0} { } elseif {$wait % 1000 == 0} {