From: Ferruccio Guidi Date: Mon, 9 Jul 2007 13:04:18 +0000 (+0000) Subject: new configuration file sample X-Git-Tag: make_still_working~6210 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a50715f0d36c627695c86dd8733a83e18f5e424a;p=helm.git new configuration file sample --- diff --git a/helm/software/daemons/whelp/searchEngine.conf.xml.sample b/helm/software/daemons/whelp/searchEngine.conf.xml.sample index 06e825e39..af11e5313 100644 --- a/helm/software/daemons/whelp/searchEngine.conf.xml.sample +++ b/helm/software/daemons/whelp/searchEngine.conf.xml.sample @@ -1,10 +1,15 @@ +
+ $(HOME) + $(USER) +
- false - mowgli.cs.unibo.it - helm - mowgli + + mysql://mowgli.cs.unibo.it mowgli helm none legacy + file:///tmp/ dust.db helm none user + file:///tmp/ dust1.db helm none library