From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 18 Feb 2004 17:13:03 +0000 (+0000)
Subject: ...
X-Git-Tag: v0_0_4~138
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2fcee48f3831b7b5dab20837d06b70e56d1ae6b3;p=helm.git

...
---

diff --git a/helm/http_getter/http_getter.conf.xml.sample b/helm/http_getter/http_getter.conf.xml.sample
index 5098e04d3..d0275a213 100644
--- a/helm/http_getter/http_getter.conf.xml.sample
+++ b/helm/http_getter/http_getter.conf.xml.sample
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
   <section name="per_user_settings">
-    <key name="dbm_dir">/projects/helm/shared/V7_mowgli</key>
+    <key name="dbm_dir">/projects/helm/var</key>
     <key name="cache_dir">/tmp/helm/cache</key>
   </section>
 
diff --git a/helm/uwobo/uwobo.conf.xml.sample b/helm/uwobo/uwobo.conf.xml.sample
index d138ee105..75b6f2df7 100644
--- a/helm/uwobo/uwobo.conf.xml.sample
+++ b/helm/uwobo/uwobo.conf.xml.sample
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
   <section name="per_user_settings">
-    <key name="dbm_dir">/projects/helm/shared/V7_mowgli</key>
+    <key name="dbm_dir">/projects/helm/var</key>
     <key name="cache_dir">/tmp/helm/cache</key>
   </section>