mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-12 00:39:18 +00:00
28 lines
433 B
Bash
28 lines
433 B
Bash
|
#!/bin/bash
|
||
|
|
|
||
|
|
listall () {
|
||
|
|
PID_LIST="$*"
|
||
|
|
while [ ! -z "$PID_LIST" ]
|
||
|
|
do
|
||
|
|
#PID_LIST=`ps -o pid= --ppid "$PID_LIST"| sed 's/^ *//g'`
|
||
|
|
PID_LIST=`ps -o pid= --ppid "$PID_LIST"`
|
||
|
|
PID_LIST=`echo $PID_LIST`
|
||
|
|
#PID_LIST=`ps -o pid= --ppid "$PID_LIST"`
|
||
|
|
echo $PID_LIST
|
||
|
|
done
|
||
|
|
}
|
||
|
|
|
||
|
|
kill_all_children () {
|
||
|
|
kill `listall "$*"`
|
||
|
|
sleep 0.1
|
||
|
|
kill -9 `listall "$*"`
|
||
|
|
}
|
||
|
|
|
||
|
|
if [ "$1"="$kill" ]
|
||
|
|
then
|
||
|
|
shift
|
||
|
|
kill_all_children "$*"
|
||
|
|
else
|
||
|
|
listall "$*"
|
||
|
|
fi
|