diff --git a/tests/sentinel.tcl b/tests/sentinel.tcl index faa39354..4c0a718c 100644 --- a/tests/sentinel.tcl +++ b/tests/sentinel.tcl @@ -356,6 +356,12 @@ proc kill_instance {type id} { set ::pids [lsearch -all -inline -not -exact $::pids $pid] } +# Return true of the instance of the specified type/id is killed. +proc instance_is_killed {type id} { + set pid [get_instance_attrib $type $id pid] + return $pid == -1 +} + # Restart an instance previously killed by kill_instance proc restart_instance {type id} { set dirname "${type}_${id}"