blob: 32b463b11f1ec5ed6f9b6a4e573e17e1a9264df7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
proc="resmoke.py"
if [ "Windows_NT" = "$OS" ]; then
check_resmoke() {
resmoke_info=$(wmic process | grep resmoke.py)
}
while [ 1 ]; do
check_resmoke
if ! [[ "$resmoke_info" =~ .*"$proc".* ]]; then
break
fi
sleep 5
done
else
get_pids() { proc_pids=$(pgrep -f $1); }
while [ 1 ]; do
get_pids $proc
if [ -z "$proc_pids" ]; then
break
fi
sleep 5
done
fi
|
