From 5ef5752989f98bd821975f7f570c980f5943237a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 19 Jan 2004 17:41:25 +0000 Subject: [PATCH] NuPRL stuff moved. --- helm/scripts/init.d/etc_default_helm_mowgli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2