diff --git a/tests/support/server.tcl b/tests/support/server.tcl index 30d0d404572..ae93ad0070c 100644 --- a/tests/support/server.tcl +++ b/tests/support/server.tcl @@ -94,7 +94,7 @@ proc kill_server config { proc is_alive config { set pid [dict get $config pid] - if {[catch {exec ps -p $pid} err]} { + if {[catch {exec kill -0 $pid} err]} { return 0 } else { return 1 diff --git a/tests/support/util.tcl b/tests/support/util.tcl index bc1394ce46a..ac4fca5011a 100644 --- a/tests/support/util.tcl +++ b/tests/support/util.tcl @@ -508,7 +508,7 @@ proc populate {num prefix size} { proc get_child_pid {idx} { set pid [srv $idx pid] - if {[string match {*Darwin*} [exec uname -a]]} { + if {[file exists "/usr/bin/pgrep"]} { set fd [open "|pgrep -P $pid" "r"] set child_pid [string trim [lindex [split [read $fd] \n] 0]] } else {