obsolete /var/www/html/generated removed - add placeholder for the plkit package
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 18 Feb 2009 22:09:18 +0000 (22:09 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 18 Feb 2009 22:09:18 +0000 (22:09 +0000)
plc.d/httpd

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