X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitadaemon.ml;h=261811815d3c1705d41de529c789ac19cb9ad4a9;hb=71204a8e8d1084c94adfbcf9264f71ab85f3621e;hp=fd7696173b0d38ad589819802480729b82e7a5dc;hpb=6120c5ba6c24eeeb2f932ba7e247a751c4216134;p=helm.git

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