-#if [ -f /tmp/source/configuration ] ; then
-# source /tmp/source/configuration
-#elif [ -f /etc/planetlab/plc_config ] ; then
-# source /etc/planetlab/plc_config
-#else
-# PLC_MONITOR_HOST=IPADDR
-#fi
-#if [[ -z "$PLC_MONITOR_HOST" || "$PLC_MONITOR_HOST" = "localhost.localdomain" ]] ; then
-# PLC_MONITOR_HOST=monitor.planet-lab.org
-#fi