From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 22 Sep 2011 11:37:36 +0000 (+0000)
Subject: Matitaweb: Fixed a bug which caused matita to forget the baseuri of the current
X-Git-Tag: make_still_working~2270
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b8a57655cd700e4c4513a71fa592eb4b982febf7;p=helm.git

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 e9e03b0b2..9d0f94226 100644
--- 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\""