From 296cf549b886283d41da69b8b0477788e11d8186 Mon Sep 17 00:00:00 2001 From: Faiyaz Ahmed Date: Tue, 25 Sep 2007 18:18:39 +0000 Subject: [PATCH] No more pl_conf. --- pl_mop.sh | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/pl_mop.sh b/pl_mop.sh index 8c3757d..80fcb41 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.7 2006/05/09 22:26:31 mlhuang Exp $ +# $Id: pl_mop.sh,v 1.8 2007/02/14 20:48:46 faiyaza Exp $ # PATH=/sbin:/usr/sbin:$PATH @@ -75,17 +75,6 @@ restart_netflow() { fi } -# keep pl_conf running -restart_pl_conf() { - echo "* Checking 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 stop - vserver pl_conf start - fi -} - # GPG keys are installed in /etc/pki/rpm-gpg by both the Boot Manager # during initial installation, and by PlanetLabConf during daily # updates. NodeUpdate imports the keys into the RPM database before @@ -224,8 +213,6 @@ run fix_etc_shadow run restart_services -run restart_pl_conf - run restart_netflow run kill_duplicate_ssh -- 2.43.0