add 5g fg650

hc

2023-02-24 69f6639d1dbba0bd8eb20ddd325528241f238d61

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/bin/sh
 
if [ $# -eq 0 ]; then
    echo missing process names!
    exit 1
fi
 
while true;do
    pid=`pidof $*`
    if [ "$pid" = "" ];then
        echo "$* died."
        break
    fi
    sleep 0.2
done