addresses a path used by the plc map and other gen-* scripts.
authorStephen Soltesz <soltesz@cs.princeton.edu>
Wed, 10 Jun 2009 15:14:58 +0000 (15:14 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Wed, 10 Jun 2009 15:14:58 +0000 (15:14 +0000)
plc.d/httpd

index 59b11db..287100e 100755 (executable)
@@ -52,7 +52,7 @@ case "$1" in
        fi
 
        # Set the default include path
-       include_path=".:$DocumentRoot/planetlab/includes:$DocumentRoot/plekit/php:/etc/planetlab/php:/usr/share/plc_api/php"
+       include_path=".:$DocumentRoot/planetlab/includes:$DocumentRoot/plekit/php:$DocumentRoot/generated:/etc/planetlab/php:/usr/share/plc_api/php"
        sed -i -e "s@[;]*include_path = \"\.:.*\"@include_path = \"$include_path\"@" $php_ini
 
        # Disable default Listen directive