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=