X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhttp_getter%2Fhttp_getter.ml;h=0644fcc7d11000003aa8808c770cdebc1bf083ee;hb=b6856f3de223e50ebeb3c26fd098ab128a5d661f;hp=c5d4f169dc672af4a306b4d7d2b084992e92f8e2;hpb=e7ab167b72dc48d260d82060949e8ebe7d27764c;p=helm.git
diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml
index c5d4f169d..0644fcc7d 100644
--- a/helm/http_getter/http_getter.ml
+++ b/helm/http_getter/http_getter.ml
@@ -239,7 +239,7 @@ let update_from_server logmsg server_url = (* use global maps *)
Pcre.replace ~pat:"^helm:rdf.*//theory:" ~templ:server_url uri
| uri -> raise (Http_getter_invalid_URI uri)
in
- let log = ref ("Processing server: " ^ server_url ^ "
\n") in
+ let log = ref (logmsg ^ "Processing server: " ^ server_url ^ "
\n") in
let (xml_index, rdf_index, xsl_index) =
(* TODO keeps index in memory, is better to keep them on temp files? *)
(http_get (server_url ^ "/" ^ Http_getter_env.xml_index),