From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 8 Jun 2011 12:04:28 +0000 (+0000)
Subject: Fixed a bug in the retract command of Matitaweb.
X-Git-Tag: make_still_working~2449
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0023757e9ed73bc13ab11d43d2a887108c7d23b4;p=helm.git

Fixed a bug in the retract command of Matitaweb.
---

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index ea63e1a08..3201771fe 100644
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -203,6 +203,7 @@ let advance0 text =
      in
   status := st;
   history := st :: !history;
+  prerr_endline ("after advance0 history.length = " ^ string_of_int (List.length !history));
   parsed_len, new_unparsed
 
 
@@ -266,9 +267,10 @@ let retract (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
         history, status
     | [_] -> (prerr_endline "singleton";failwith "retract")
     | _ -> (prerr_endline "nil"; assert false) in
-  NCicLibrary.time_travel !status;
+  NCicLibrary.time_travel new_status;
   history := new_history;
   status := new_status;
+  prerr_endline ("after retract history.length = " ^ string_of_int (List.length !history));
   let body = output_status !status in
   cgi#out_channel#output_string body;
   cgi#out_channel#commit_work()