From: Wilmer Ricciotti 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\""