Must use vkill to kill outside of root.
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 19 Mar 2008 19:54:50 +0000 (19:54 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Wed, 19 Mar 2008 19:54:50 +0000 (19:54 +0000)
pl_mop.sh

index 0a512c0..97dad39 100755 (executable)
--- a/pl_mop.sh
+++ b/pl_mop.sh
@@ -206,7 +206,7 @@ kill_nm_inslice(){
         line=$(vps aux | grep $pid)
         echo NM found in slice. Killing PID $pid
         echo $line
-        kill -9 $pid
+        vkill -9 $pid
     done
 }