%define name pl_mom
%define version 0.3
-%define release 12.planetlab%{?date:.%{date}}
+%define release 13%{?pldistro:.%{pldistro}}%{?date:.%{date}}
Summary: PlanetLab mom -- Cleans up your mess
Name: %{name}
# 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
# 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