git://git.onelab.eu
/
mom.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0fb6e0d
)
Must use vkill to kill outside of root.
author
Faiyaz Ahmed
<faiyaza@cs.princeton.edu>
Wed, 19 Mar 2008 19:54:50 +0000
(19:54 +0000)
committer
Faiyaz Ahmed
<faiyaza@cs.princeton.edu>
Wed, 19 Mar 2008 19:54:50 +0000
(19:54 +0000)
pl_mop.sh
patch
|
blob
|
history
diff --git
a/pl_mop.sh
b/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
line=$(vps aux | grep $pid)
echo NM found in slice. Killing PID $pid
echo $line
- kill -9 $pid
+
v
kill -9 $pid
done
}
done
}