From: Faiyaz Ahmed <faiyaza@cs.princeton.edu>
Date: Wed, 19 Mar 2008 19:54:50 +0000 (+0000)
Subject: Must use vkill to kill outside of root.
X-Git-Tag: Mom-2.3-0~2
X-Git-Url: http://git.onelab.eu/?p=mom.git;a=commitdiff_plain;h=efa183b54f02fdd5666312792fc73552b6f06ec6;ds=sidebyside

Must use vkill to kill outside of root.
---

diff --git a/pl_mop.sh b/pl_mop.sh
index 0a512c0..97dad39 100755
--- 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
 }