From d0d2ebcf0ad48c38dcd69142f5e080e987fc5536 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Tue, 20 Sep 2011 14:52:42 +0000 Subject: [PATCH] Matitaweb: disabled many verbose debug prints. --- matitaB/matita/matitadaemon.ml | 36 +++++++++++----------------------- 1 file changed, 11 insertions(+), 25 deletions(-) diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml index a07e7e160..06b465b13 100644 --- 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 = "" ^ markup ^ "" 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) ^ "" 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 ">" s in - prerr_endline ("output: " ^ res); let res = Str.global_replace patt3 "<" 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 = "" ^ body ^ "" 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 ^ "" ^ txt ^ "" 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) = "" ^ txt ^ "" 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 -- 2.39.2