From: Luca Padovani Date: Tue, 6 Feb 2001 16:00:42 +0000 (+0000) Subject: added processor_url to configuration file X-Git-Tag: v0_1_2~134 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=255b967c56a97328ca17f30c3120cd7cda055c3f;p=helm.git added processor_url to configuration file --- diff --git a/helm/configuration/etc/configuration.dtd b/helm/configuration/etc/configuration.dtd index 98112ee9d..5ee2e0ddd 100644 --- a/helm/configuration/etc/configuration.dtd +++ b/helm/configuration/etc/configuration.dtd @@ -33,7 +33,7 @@ + use_webeqp_url, html_link, getter_url, processor_url)> @@ -56,3 +56,4 @@ + diff --git a/helm/configuration/etc/configuration.xml.in b/helm/configuration/etc/configuration.xml.in index b05eced38..756286c3f 100644 --- a/helm/configuration/etc/configuration.xml.in +++ b/helm/configuration/etc/configuration.xml.in @@ -42,5 +42,6 @@ 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= - http://localhost:8081/get?uri= + http://localhost:8081/ + http://localhost:12345/