X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fetc_default_helm_mowgli;h=eeb0a801a4ee4bab3271e07540e583adda1904d5;hb=eec68b7deed5396df14bd251127a96c46a868d06;hp=aef44f7fad8c360cee31a6b995d23e11bcc540ea;hpb=b7276ca7a0ccdead4b3bf868e26e9a1f4f6f924f;p=helm.git diff --git a/helm/scripts/init.d/etc_default_helm_mowgli b/helm/scripts/init.d/etc_default_helm_mowgli index aef44f7fa..eeb0a801a 100644 --- a/helm/scripts/init.d/etc_default_helm_mowgli +++ b/helm/scripts/init.d/etc_default_helm_mowgli @@ -28,7 +28,7 @@ HTTP_GETTER_CACHE_DIRS=" # user which will own the daemons and the cache directories OWNER="sacerdot:helm" -NUPRL_UWOBO_PANEL_CONF="/projects/helm/NuPRL/uwobo-panel/control.html" +NUPRL_UWOBO_PANEL_CONF="/projects/helm/nuprl/NuPRL/uwobo-panel/control.html" export MATHQL_DB_MAP=/projects/helm/shared/scripts/init.d/mathql_db_map.txt