check for memory leaks before killing a server

This commit is contained in:
Pieter Noordhuis 2010-05-14 17:49:39 +02:00
parent 4fb6d00c97
commit 239515bcce
1 changed files with 9 additions and 0 deletions

View File

@ -10,6 +10,15 @@ proc error_and_quit {config_file error} {
proc kill_server config {
set pid [dict get $config pid]
# check for leaks
catch {
if {[string match {*Darwin*} [exec uname -a]]} {
test {Check for memory leaks} {
exec leaks $pid
} {*0 leaks*}
}
}
# kill server and wait for the process to be totally exited
exec kill $pid
while 1 {