propagate PLC_MONITOR_HOST to the node

diff --git a/PlanetLabConf/get_plc_config.php b/PlanetLabConf/get_plc_config.php
index 6102a15..6fd4d4c 100755 (executable)
--- a/PlanetLabConf/get_plc_config.php
+++ b/PlanetLabConf/get_plc_config.php
@@ -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')