From 71204a8e8d1084c94adfbcf9264f71ab85f3621e Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Tue, 3 Jul 2012 12:58:35 +0000 Subject: [PATCH] Matitaweb: opening a file resets the status. --- matitaB/matita/matitadaemon.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml index fd7696173..261811815 100644 --- a/matitaB/matita/matitadaemon.ml +++ b/matitaB/matita/matitadaemon.ml @@ -408,7 +408,7 @@ let retrieve (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) = Librarian.NoRootFor _ | Librarian.FileNotFound _ -> "",[] in include_paths := incpaths; if readonly <> "true" then - (let status = (MatitaAuthentication.get_status sid)#set_baseuri baseuri in + (let status = new MatitaEngine.status (Some uid) baseuri in let history = [status] in MatitaAuthentication.set_status sid status; MatitaAuthentication.set_history sid history); @@ -418,6 +418,12 @@ let retrieve (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) = (); cgi#out_channel#output_string body; with + | Sys_error _ -> + cgi # set_header + ~cache:`No_cache + ~content_type:"text/xml; charset=\"utf-8\"" + (); + cgi#out_channel#output_string "" | Not_found _ -> cgi # set_header ~status:`Internal_server_error -- 2.39.2