From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Tue, 3 Jul 2012 12:58:35 +0000 (+0000)
Subject: Matitaweb: opening a file resets the status.
X-Git-Tag: make_still_working~1625
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=71204a8e8d1084c94adfbcf9264f71ab85f3621e;p=helm.git

Matitaweb: opening a file resets the status.
---

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 "<error />"
   | Not_found _ -> 
     cgi # set_header
       ~status:`Internal_server_error