From: Steve Muir <smuir@cs.princeton.edu>
Date: Thu, 7 Apr 2005 19:37:25 +0000 (+0000)
Subject: Fix vuserdel to unmount all mountpoints before deleting vserver
X-Git-Tag: after-util-vserver-0_30_208-revert~193
X-Git-Url: http://git.onelab.eu/?p=util-vserver.git;a=commitdiff_plain;h=ff1f3af116b63f5bb27bfce9853469fea07e6e66

Fix vuserdel to unmount all mountpoints before deleting vserver
---

diff --git a/scripts/vuserdel b/scripts/vuserdel
index 54206f5..5cc663e 100755
--- a/scripts/vuserdel
+++ b/scripts/vuserdel
@@ -4,7 +4,7 @@
 #
 # Copyright (c) 2004  The Trustees of Princeton University (Trustees).
 #
-# $Id: vuserdel,v 1.5 2004/10/26 03:11:23 mlhuang Exp $
+# $Id: vuserdel,v 1.6 2004/11/23 14:47:35 mlhuang Exp $
 #
 
 : ${UTIL_VSERVER_VARS:=$(dirname $0)/util-vserver-vars}
@@ -23,8 +23,22 @@ usage()
 [ -z "$1" ] && usage
 NAME=$1
 
-# stop vserver
-vserver $NAME stop
+# read config file to get context ID
+. /etc/vservers/$NAME.conf
+CTX=$S_CONTEXT
+
+# don't bother stopping gracefully, just kill all the processes
+$SBINDIR/chcontext --silent --secure --ctx $CTX $PKGLIBDIR/vserverkillall
+
+# unmount any directories in vserver that are mount points
+for d in `sed -ne "s%^[^ ]* \($VROOTDIR/$NAME/[^ ]*\) .*%\1%p" /proc/mounts`
+do
+        # use echo -e to turn escaped whitespace back into regular chars
+        # be careful about embedded backquotes here (i think we're safe)
+        dir=`echo -e "$d"`
+        echo "unmounting $dir"
+        umount -l "$dir"
+done
 
 # turn resource management off for vserver $NAME
 service resman stop $NAME
diff --git a/util-vserver.spec b/util-vserver.spec
index c6304e3..16b774d 100644
--- a/util-vserver.spec
+++ b/util-vserver.spec
@@ -1,6 +1,6 @@
 %define name util-vserver
 %define version 0.30
-%define release 7.planetlab%{?date:.%{date}}
+%define release 8.planetlab%{?date:.%{date}}
 
 Vendor: PlanetLab
 Packager: PlanetLab Central <support@planet-lab.org>
@@ -146,6 +146,10 @@ fi
 %_mandir/man8/newvserver*
 
 %changelog
+* Thu Apr  7 2005 Steve Muir <smuir@cs.princeton.edu>
+- vuserdel changes: don't shutdown vserver, just kill all processes;
+  unmount and mountpoints in vserver before deleting
+
 * Fri Nov 19 2004 Mark Huang <mlhuang@cs.princeton.edu>
 - vcached no longer runs as a daemon
 - do not restart vservers when package is upgraded