Added code to generate the plc_config.py file for inside of myplc environment.
authorStephen Soltesz <soltesz@cs.princeton.edu>
Mon, 7 Apr 2008 20:36:29 +0000 (20:36 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Mon, 7 Apr 2008 20:36:29 +0000 (20:36 +0000)
I hope this would be useful for addon scripts such as monitor or others.

guest.init

index e95c34e..309523e 100755 (executable)
@@ -77,6 +77,9 @@ reload ()
     if [ -n "$force" -o /etc/planetlab/plc_config.xml -nt /etc/planetlab/plc_config ] ; then
        plc-config --shell >/etc/planetlab/plc_config
     fi
+    if [ -n "$force" -o /etc/planetlab/plc_config.xml -nt /etc/planetlab/plc_config.py ] ; then
+       plc-config --python >/etc/planetlab/plc_config.py
+    fi
     if [ -n "$force" -o /etc/planetlab/plc_config.xml -nt /etc/planetlab/php/plc_config.php ] ; then
        mkdir -p /etc/planetlab/php
        plc-config --php >/etc/planetlab/php/plc_config.php