X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitadaemon.ml;h=5d745eab776b420d377610685122b75ca3e3af13;hb=ca2fcd32c41d72893bbb45bda4640c3589699113;hp=9e6b11c6f2b6189b07af5dfb007363f342214645;hpb=dee464f8cd331524663167659d1fad01e558d4e1;p=helm.git
diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index 9e6b11c6f..5d745eab7 100644
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -205,12 +205,12 @@ let retrieve (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
let filename = libdir uid ^ "/" ^ (cgi # argument_value "file") in
prerr_endline ("reading file " ^ filename);
let body =
- (* Netencoding.Html.encode ~in_enc:`Enc_utf8 ~prefer_name:false ()
+ Netencoding.Html.encode ~in_enc:`Enc_utf8 ~prefer_name:false ()
(html_of_matita (read_file filename)) in
- *)
- html_of_matita (read_file filename) in
+
+ (* html_of_matita (read_file filename) in *)
prerr_endline ("sending:\nBEGIN\n" ^ body ^ "\nEND");
- let body = "" ^ body ^ "" in
+ let body = "" ^ body ^ "" in
let baseuri, incpaths =
try
let root, baseuri, _fname, _tgt =