propagate PLC_MONITOR_HOST to the node
Stephen Soltesz [Wed, 12 Nov 2008 17:55:27 +0000 (17:55 +0000)]
PlanetLabConf/get_plc_config.php

index 6102a15..6fd4d4c 100755 (executable)
@@ -34,7 +34,7 @@ echo $shebang . "\n";
 
 foreach (array('PLC_API_HOST', 'PLC_API_PATH', 'PLC_API_PORT',
               'PLC_WWW_HOST', 'PLC_BOOT_HOST', 'PLC_PLANETFLOW_HOST',
-              'PLC_NAME', 'PLC_SLICE_PREFIX',
+              'PLC_NAME', 'PLC_SLICE_PREFIX', 'PLC_MONITOR_HOST',
               'PLC_MAIL_SUPPORT_ADDRESS',
               'PLC_MAIL_MOM_LIST_ADDRESS',
               'PLC_MAIL_SLICE_ADDRESS')