better cleanup
This commit is contained in:
parent
d1c8e7b260
commit
509eedf10f
|
@ -864,6 +864,7 @@ kill_processes() {
|
||||||
pid=$(cat $x)
|
pid=$(cat $x)
|
||||||
pn=$( ps -p $pid -o comm= )
|
pn=$( ps -p $pid -o comm= )
|
||||||
#echo "Killing $pid $pn ... "
|
#echo "Killing $pid $pn ... "
|
||||||
|
pkill -P $pid
|
||||||
kill $pid 2>/dev/null && ( echo "Killed $pid $pn" && rm $x ) || echo "Failed to kill $pid $pn, it may have exited"
|
kill $pid 2>/dev/null && ( echo "Killed $pid $pn" && rm $x ) || echo "Failed to kill $pid $pn, it may have exited"
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
@ -940,7 +941,7 @@ cleanup() {
|
||||||
kill -15 -$pgid
|
kill -15 -$pgid
|
||||||
sleep 1
|
sleep 1
|
||||||
echo "Cleaning up done"
|
echo "Cleaning up done"
|
||||||
kill -9 -$pgid
|
#kill -9 -$pgid
|
||||||
}
|
}
|
||||||
|
|
||||||
die() { # SIGUSR2
|
die() { # SIGUSR2
|
||||||
|
|
Loading…
Reference in New Issue