Searched refs:pid_emulator (Results 1 – 3 of 3) sorted by relevance
26 pid_emulator=$!52 [ "$pid_emulator" == "" ] || kill $pid_emulator73 [ "$pid_emulator" == "" ] || kill $pid_emulator
36 pid_emulator=$!66 [ "$pid_emulator" == "" ] || kill $pid_emulator90 [ "$pid_emulator" == "" ] || kill $pid_emulator
21 pid_emulator=$!47 [ "$pid_emulator" == "" ] || kill $pid_emulator58 [ "$pid_emulator" == "" ] || kill $pid_emulator