- shutdown instead of remounting /vservers after fixing

diff --git a/pl_mop.sh b/pl_mop.sh
index 2fca18b..e40b872 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
 #
-# $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
@@ -128,8 +128,11 @@ fix_vservers() {
         # blow away the vserver cache
        rm -rf /vservers/.vcache/*
 
-        # re-mount /vservers
-       mount /vservers
+        # XXX re-mount /vservers
+       # mount /vservers
+
+       # shutdown instead to avoid clearing disk quotas
+       shutdown -r now "/vservers filesystem repaired, rebooting"
     else
        echo "Unable to unmount /vservers!" >&2
     fi