Matita Web: moved the javascript in a separate file. Bugfixes.

[helm.git] / matitaB / matita / matitadaemon.ml

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index f6e686c531ff5c4e79476b280d8164708cf645ef..6601400ed5a11cf3c1d0996827449a6b97af8b72 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -142,8 +142,8 @@ let retract () =
      match !history with
        _::(status::_ as history) ->
         history, status
-    | [_] -> failwith "retract"
-    | _ -> assert false in
+    | [_] -> (prerr_endline "singleton";failwith "retract")
+    | _ -> (prerr_endline "nil"; assert false) in
   NCicLibrary.time_travel !status;
   history := new_history;
   status := new_status;
@@ -275,6 +275,7 @@ let callback req outchan =
   | "/retract" ->
       (try
         let body = retract () in
+        prerr_endline "retract OK";
         Http_daemon.respond ~code:(`Code 200) ~body outchan
        with e -> 
         (prerr_endline (Printexc.to_string e);