tag memory leak check on kill server as "leaks"

This commit is contained in:
Pieter Noordhuis 2010-06-03 00:27:09 +02:00
parent afbf59145a
commit 5a9fcb87ca

View File

@ -33,12 +33,14 @@ proc kill_server config {
if {![dict exists $config "skipleaks"]} { if {![dict exists $config "skipleaks"]} {
catch { catch {
if {[string match {*Darwin*} [exec uname -a]]} { if {[string match {*Darwin*} [exec uname -a]]} {
tags {"leaks"} {
test "Check for memory leaks (pid $pid)" { test "Check for memory leaks (pid $pid)" {
exec leaks $pid exec leaks $pid
} {*0 leaks*} } {*0 leaks*}
} }
} }
} }
}
# kill server and wait for the process to be totally exited # kill server and wait for the process to be totally exited
while {[is_alive $config]} { while {[is_alive $config]} {