From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 19 Jan 2004 10:12:48 +0000 (+0000)
Subject: The searchengine now requires the mathql_db_map.txt.
X-Git-Tag: V_0_5_1_3~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b7276ca7a0ccdead4b3bf868e26e9a1f4f6f924f;p=helm.git

The searchengine now requires the mathql_db_map.txt.
Added the mathql_db_map.txt file and the new environment variable
MATHQL_DB_MAP.
---

diff --git a/helm/scripts/init.d/etc_default_helm_mowgli b/helm/scripts/init.d/etc_default_helm_mowgli
index 08bf08766..aef44f7fa 100644
--- a/helm/scripts/init.d/etc_default_helm_mowgli
+++ b/helm/scripts/init.d/etc_default_helm_mowgli
@@ -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:
diff --git a/helm/scripts/init.d/mathql_db_map.txt b/helm/scripts/init.d/mathql_db_map.txt
new file mode 100644
index 000000000..9b702e444
--- /dev/null
+++ b/helm/scripts/init.d/mathql_db_map.txt
@@ -0,0 +1,26 @@
+dbname=mowgli host=mowgli.cs.unibo.it user=helm password=awH21Un
+
+objectname  source       <+ 
+objectname  value        <- objectName 
+refobj                   <- refObj
+refobj      source       <- 
+refobj      h_occurrence <- refObj      h:occurrence
+refobj      h_position   <- refObj      h:position
+refobj      h_depth      <- refObj      h:depth
+refrel                   <- refRel
+refrel      source       <- 
+refrel      h_position   <- refRel      h:position
+refrel      h_depth      <- refRel      h:depth
+refsort                  <- refSort
+refsort     source       <- 
+refsort     h_sort       <- refSort     h:sort
+refsort     h_position   <- refSort     h:position
+refsort     h_depth      <- refSort     h:depth
+backpointer              <- backPointer
+backpointer source       <- backPointer h:occurrence
+backpointer h_occurrence <- 
+backpointer h_position   <- backPointer h:position
+backpointer h_depth      <- backPointer h:depth
+
+backpointer -> refobj
+            ->