xsltProcessorHTTP.ml : no temp file created,

the problem was due to a libxml bug fixed in version 2.2.9, upgrade!

diff --git a/helm/interface/xsltProcessorHTTP.ml b/helm/interface/xsltProcessorHTTP.ml
index 56096a314bf98137179ef8bfa71cf6023602a436..ed26724cad6cc4116f46b9ed9f0f1afd20cca05d 100644 (file)
--- a/helm/interface/xsltProcessorHTTP.ml
+++ b/helm/interface/xsltProcessorHTTP.ml
@@ -47,6 +47,6 @@ let process uri usecache mode =
     ""
    )
  in
-  ClientHTTP.get_and_save_to_tmp string_to_send
+  string_to_send
 ;;