]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/init.d/etc_default_helm_mowgli
The searchengine now requires the mathql_db_map.txt.
[helm.git] / helm / scripts / init.d / etc_default_helm_mowgli
index 08bf08766f39994c2640757865b3712efb19a8cc..aef44f7fad8c360cee31a6b995d23e11bcc540ea 100644 (file)
@@ -30,4 +30,6 @@ OWNER="sacerdot:helm"
 
 NUPRL_UWOBO_PANEL_CONF="/projects/helm/NuPRL/uwobo-panel/control.html"
 
+export MATHQL_DB_MAP=/projects/helm/shared/scripts/init.d/mathql_db_map.txt
+
 # vim: set ft=sh: