Matitaweb: Fixed a bug which caused matita to forget the baseuri of the current

script when retracting to the top.

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index e9e03b0b2098b7da22d0f464a668632bb111dba3..9d0f942267f94421b98faf11604a60a3d8df5d8e 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -214,8 +214,10 @@ let retrieve (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
        with 
          Librarian.NoRootFor _ | Librarian.FileNotFound _ -> "",[] in
     include_paths := incpaths;
-    let status = MatitaAuthentication.get_status sid in
-    MatitaAuthentication.set_status sid (status#set_baseuri baseuri);
+    let status = (MatitaAuthentication.get_status sid)#set_baseuri baseuri in
+    let history = [status] in
+    MatitaAuthentication.set_status sid status;
+    MatitaAuthentication.set_history sid history;
     cgi # set_header 
       ~cache:`No_cache 
       ~content_type:"text/xml; charset=\"utf-8\""