From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 24 Apr 2005 13:44:40 +0000 (+0000)
Subject: added sample entry for environment_dump configuration variable
X-Git-Tag: after_svn_merge~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c6152ae37c7d2acb6b0f79a50dc64159308b980a;p=helm.git

added sample entry for environment_dump configuration variable
---

diff --git a/helm/searchEngine/searchEngine.conf.xml.sample b/helm/searchEngine/searchEngine.conf.xml.sample
index 99b87d259..86cc53cb5 100644
--- a/helm/searchEngine/searchEngine.conf.xml.sample
+++ b/helm/searchEngine/searchEngine.conf.xml.sample
@@ -13,5 +13,7 @@
     <key name="html_dir">html</key>
     <key name="port">58085</key>
     <key name="results_per_page">10</key>
+    <!-- file from which restore CicEnvironment status -->
+    <key name="environment_dump">foo.env</key>
   </section>
 </helm_registry>