# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2005 The Trustees of Princeton University
#
-# $Id: pl_mop.sh,v 1.2 2005/11/03 17:23:25 mlhuang Exp $
+# $Id: pl_mop.sh,v 1.3 2005/12/01 23:38:58 mlhuang Exp $
#
PATH=/sbin:/usr/sbin:$PATH
# keep essential services running
restart_services() {
- for service in autofs sshd pl_sshd pl_mom pl_nm proper ; do
+ for service in sshd pl_sshd pl_mom pl_nm proper ; do
echo "* Checking $service"
status=$(service $service status)
if [ $? -ne 0 ] || echo $status 2>&1 | grep -q stopped ; then
# kill all processes running in slice contexts
vkillall
- # stop the key automounter
- service autofs stop
-
# stop vcached
pidfile=/var/run/vcached.pid
if [ -r "$pidfile" ] ; then
# allow vcached to run again
rm -f $pidfile
-
- # restart the key automounter
- service autofs start
}
kill_duplicate_ssh() {