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:
2bcc6c1
)
- start pl_conf in case it's dead
author
Mark Huang
<mlhuang@cs.princeton.edu>
Mon, 6 Mar 2006 20:40:33 +0000
(20:40 +0000)
committer
Mark Huang
<mlhuang@cs.princeton.edu>
Mon, 6 Mar 2006 20:40:33 +0000
(20:40 +0000)
pl_mop.sh
patch
|
blob
|
history
diff --git
a/pl_mop.sh
b/pl_mop.sh
index
e40b872
..
5ac5546
100755
(executable)
--- a/
pl_mop.sh
+++ b/
pl_mop.sh
@@
-5,7
+5,7
@@
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2005 The Trustees of Princeton University
#
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2005 The Trustees of Princeton University
#
-# $Id: pl_mop.sh,v 1.
3 2005/12/01 23:38:58
mlhuang Exp $
+# $Id: pl_mop.sh,v 1.
4 2006/01/26 19:26:20
mlhuang Exp $
#
PATH=/sbin:/usr/sbin:$PATH
#
PATH=/sbin:/usr/sbin:$PATH
@@
-74,7
+74,8
@@
restart_pl_conf() {
vserver pl_conf exec /sbin/service pl_conf status >/dev/null 2>&1
if [ $? -ne 0 ] ; then
echo "* Restarting pl_conf"
vserver pl_conf exec /sbin/service pl_conf status >/dev/null 2>&1
if [ $? -ne 0 ] ; then
echo "* Restarting pl_conf"
- vserver pl_conf restart
+ vserver pl_conf stop
+ vserver pl_conf start
fi
}
fi
}