From b8a57655cd700e4c4513a71fa592eb4b982febf7 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Thu, 22 Sep 2011 11:37:36 +0000 Subject: [PATCH] Matitaweb: Fixed a bug which caused matita to forget the baseuri of the current script when retracting to the top. --- matitaB/matita/matitadaemon.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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\"" -- 2.39.2