From 1920b431ff02af647568df667b7272384adf25f2 Mon Sep 17 00:00:00 2001
From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Mon, 6 Mar 2006 20:40:33 +0000
Subject: [PATCH] - start pl_conf in case it's dead

---
 pl_mop.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pl_mop.sh b/pl_mop.sh
index e40b872..5ac5546 100755
--- 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
 #
-# $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
@@ -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
 }
 
-- 
2.43.0