X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fconfiguration%2Fetc%2Fconfiguration.xml.in;h=b14b235f9c2fab6e4c8cb4e224f98d395df34e21;hb=2cf66cdc91daeded898c9d5b79dd5c2a32f5b52b;hp=dbed3aa0c4f52bb538d9c3f522cca7805952d579;hpb=3cd06261fd37ec1e59df01d8a636050d155333b3;p=helm.git
diff --git a/helm/configuration/etc/configuration.xml.in b/helm/configuration/etc/configuration.xml.in
index dbed3aa0c..b14b235f9 100644
--- a/helm/configuration/etc/configuration.xml.in
+++ b/helm/configuration/etc/configuration.xml.in
@@ -9,7 +9,7 @@
@CONFIGURATION_URIS_DBM@
index.txt
- @TMPDIR@
+ @CONFIGURATION_TMPDIR@
/home/lpadovan/helm/PARSER/examples
http://localhost/really_very_local/helm/header/getheader.xml
@@ -18,5 +18,5 @@
http://localhost/cgi-bin/helm/webeqp.pl
http://localhost/cgi-bin/helm/use_webeqp.pl
?baseurl=&stylesheet1=rootcontent.xsl&stylesheet2=content_to_html.xsl&xmluri=
- @CONFIGURATION_GETTER_URL@
+ http://localhost:8081/get?uri=