From: Mark Huang Date: Fri, 10 Mar 2006 02:06:27 +0000 (+0000) Subject: - merge revision 1.5 X-Git-Tag: planetlab-3_2_2~2 X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=5d5e624a2f60f952255d2dfcb82e230aad7b6164;p=mom.git - merge revision 1.5 date: 2006/03/06 20:40:33; author: mlhuang; state: Exp; lines: +3 -2 - start pl_conf in case it's dead --- diff --git a/pl_mop.sh b/pl_mop.sh index 028bcd0..4133dee 100755 --- a/pl_mop.sh +++ b/pl_mop.sh @@ -5,7 +5,7 @@ # Mark Huang # Copyright (C) 2005 The Trustees of Princeton University # -# $Id: pl_mop.sh,v 1.4 2006/01/26 19:26:20 mlhuang Exp $ +# $Id$ # 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 restart + vserver pl_conf stop + vserver pl_conf start fi }