Matitaweb: disabled many verbose debug prints.

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index a07e7e16039489d962b2b318890d1fb21960e133..06b465b13687243cd726888c238c8353069128b8 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -97,11 +97,9 @@ let output_status s =
          | _ -> render_switch sw)
       else render_switch sw
     in
-    prerr_endline "pippo1";
     let markup = 
       Netencoding.Html.encode ~in_enc:`Enc_utf8 ~prefer_name:false () markup in
     let markup = "<metaname>" ^ markup ^ "</metaname>" in
-    prerr_endline "pippo2";
     let sequent =
       Netencoding.Html.encode ~in_enc:`Enc_utf8 ~prefer_name:false () (sequent sw)
     in      
@@ -115,7 +113,7 @@ let output_status s =
       ~todo:(render_sequent false) "" s#stack) ^
     "</metasenv>"
   in 
-  prerr_endline ("sending metasenv:\n" ^ res); res
+  (* prerr_endline ("sending metasenv:\n" ^ res); res *)
 ;;
 
 (* let html_of_status s =
@@ -133,19 +131,14 @@ let output_status s =
 ;; *)
 
 let html_of_matita s =
-  prerr_endline ("input: " ^ s);
   let patt1 = Str.regexp "\005" in
   let patt2 = Str.regexp "\006" in
   let patt3 = Str.regexp "<" in
   let patt4 = Str.regexp ">" in
   let res = Str.global_replace patt4 "&gt;" s in
-  prerr_endline ("output: " ^ res);
   let res = Str.global_replace patt3 "&lt;" res in
-  prerr_endline ("output: " ^ res);
   let res = Str.global_replace patt2 ">" res in
-  prerr_endline ("output: " ^ res);
   let res = Str.global_replace patt1 "<" res in
-  prerr_endline ("output: " ^ res);
   res
 ;;
 
@@ -199,13 +192,13 @@ let retrieve (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
       ();
     *)
     let filename = libdir uid ^ "/" ^ (cgi # argument_value "file") in
-    prerr_endline ("reading file " ^ filename);
+    (* prerr_endline ("reading file " ^ filename); *)
     let body = 
      Netencoding.Html.encode ~in_enc:`Enc_utf8 ~prefer_name:false ()
         (html_of_matita (read_file filename)) in
      
      (*   html_of_matita (read_file filename) in *)
-    prerr_endline ("sending:\nBEGIN\n" ^ body ^ "\nEND");
+    (* prerr_endline ("sending:\nBEGIN\n" ^ body ^ "\nEND"); *)
     let body = "<response><file>" ^ body ^ "</file></response>" in
     let baseuri, incpaths = 
       try 
@@ -253,7 +246,7 @@ let advance0 sid text =
   let interpr = GrafiteDisambiguate.get_interpr st#disambiguate_db in
   let outstr = ref "" in
   ignore (SmallLexer.mk_small_printer interpr outstr stringbuf);
-  prerr_endline ("parser output: " ^ !outstr);
+  (* prerr_endline ("parser output: " ^ !outstr); *)
   MatitaAuthentication.set_status sid st;
   parsed_len, 
     Netencoding.Html.encode ~in_enc:`Enc_utf8 ~prefer_name:false 
@@ -315,7 +308,6 @@ let login (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
    end
   else
    begin
-    prerr_endline ("ERROR: received " ^ userpw ^ "but the password is " ^ pw);
     cgi#set_header
       ~cache:`No_cache 
       ~content_type:"text/html; charset=\"utf-8\""
@@ -366,7 +358,6 @@ let save (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
     let unlocked = cgi#argument_value "unlocked" in
     let filename = libdir uid ^ "/" ^ (cgi # argument_value "file") in
     let force = bool_of_string (cgi#argument_value "force") in
-    prerr_endline ("Matita will save the file for user " ^ uid);
 
     if ((not force) && (Sys.file_exists filename)) then 
       raise File_already_exists;
@@ -376,12 +367,12 @@ let save (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
     close_out oc;
     if MatitaEngine.eos status unlocked then
      begin
-      prerr_endline ("serializing proof objects...");
+      (* prerr_endline ("serializing proof objects..."); *)
       GrafiteTypes.Serializer.serialize 
         ~baseuri:(NUri.uri_of_string status#baseuri) status;
-      prerr_endline ("adding to the commit queue...");
+      (* prerr_endline ("adding to the commit queue..."); *)
       MatitaFilesystem.add_user uid;
-      prerr_endline ("done.");
+      (* prerr_endline ("done."); *)
      end;
     cgi # set_header 
       ~cache:`No_cache 
@@ -436,7 +427,7 @@ let advance (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
       ();
     *)
     let text = cgi#argument_value "body" in
-    prerr_endline ("body =\n" ^ text);
+    (* prerr_endline ("body =\n" ^ text); *)
     let history = MatitaAuthentication.get_history sid in
     let parsed_len, new_parsed, new_unparsed, new_status = advance0 sid text in
     MatitaAuthentication.set_history sid (new_status::history);
@@ -446,7 +437,7 @@ let advance (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
        new_parsed ^ "</parsed>" ^ txt 
        ^ "</response>"
     in 
-    prerr_endline ("sending advance response:\n" ^ body);
+    (* prerr_endline ("sending advance response:\n" ^ body); *)
     cgi # set_header 
       ~cache:`No_cache 
       ~content_type:"text/xml; charset=\"utf-8\""
@@ -492,7 +483,7 @@ let gotoBottom (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
       ();
     *)
     let text = cgi#argument_value "body" in
-    prerr_endline ("body =\n" ^ text);
+    (* prerr_endline ("body =\n" ^ text); *)
     let parsed_len, new_parsed = aux 0 "" text in
     let status = MatitaAuthentication.get_status sid in
     let txt = output_status status in
@@ -505,7 +496,7 @@ let gotoBottom (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
        "<response><parsed length=\"" ^ (string_of_int parsed_len) ^ "\" />" ^ txt 
        ^ "</response>"
     in*) 
-    prerr_endline ("sending goto bottom response:\n" ^ body);
+    (* prerr_endline ("sending goto bottom response:\n" ^ body); *)
     cgi # set_header 
       ~cache:`No_cache 
       ~content_type:"text/xml; charset=\"utf-8\""
@@ -520,7 +511,6 @@ let gotoBottom (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
 let retract (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
   let cgi = Netcgi1_compat.Netcgi_types.of_compat_activation cgi in
   let env = cgi#environment in
-  prerr_endline "executing retract";
   (try 
     let sid = Uuidm.of_string (Netcgi.Cookie.value (env#cookie "session")) in
     let sid = HExtlib.unopt sid in
@@ -537,13 +527,9 @@ let retract (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
           history, status
       | [_] -> (prerr_endline "singleton";failwith "retract")
       | _ -> (prerr_endline "nil"; assert false) in
-    prerr_endline "before time_travel";
     NCicLibrary.time_travel new_status;
-    prerr_endline "after time travel";
     MatitaAuthentication.set_history sid new_history;
     MatitaAuthentication.set_status sid new_status;
-    prerr_endline ("after retract history.length = " ^ 
-      string_of_int (List.length new_history));
     let body = output_status new_status in
     cgi # set_header 
       ~cache:`No_cache