diff --git a/sched/pshelper b/sched/pshelper new file mode 100755 index 0000000000..042c8e1a7f --- /dev/null +++ b/sched/pshelper @@ -0,0 +1,3 @@ +#!/bin/sh +pid=`cat "$1"` && +ps ww $pid | grep "^ *\($pid\) " || echo false