Searched refs:pids (Results 1 – 3 of 3) sorted by relevance
31 …set pids [exec echo "port $::port\nloglevel warning\n" | ./redis-server - > /dev/null 2> /dev/null…32 puts " pids: $pids"44 catch {exec kill -9 [lindex $pids 0]}45 catch {exec kill -9 [lindex $pids 1]}
152 # so add the zed pid to list of pids to ignore.
4234 # Given an array of pids, wait until all processes