#
# description: Manages all PLC services on this machine
#
-# $Id: guest.init,v 1.12 2006/04/04 22:09:47 mlhuang Exp $
+# $Id: guest.init,v 1.14 2006/04/10 18:18:14 mlhuang Exp $
#
# Source function library and configuration
# Regenerate configuration files
reload ()
{
- # Load configuration
+ # Regenerate the main configuration file from default values
+ # overlaid with site-specific and current values.
+ tmp=$(mktemp /tmp/plc_config.xml.XXXXXX)
+ plc-config --xml \
+ /etc/planetlab/default_config.xml \
+ /etc/planetlab/configs/* \
+ /etc/planetlab/plc_config.xml \
+ >$tmp
+ if [ $? -eq 0 ] ; then
+ mv $tmp /etc/planetlab/plc_config.xml
+ chmod 644 /etc/planetlab/plc_config.xml
+ else
+ echo "PLC: Warning: Invalid configuration file(s) detected"
+ rm -f $tmp
+ fi
+
+ # Shell constants
plc-config --shell >/etc/planetlab/plc_config
. /etc/planetlab/plc_config