Xavier code for killing a thread commented out for a while since it interacts badly...

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index ed90fd29dfbed6a14f7e0ea5e302c7d821eff089..dcbbb6df45ffc60bae3d1e32cbbf8e05be8c81ef 100644 (file)
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -437,7 +437,9 @@ class gui () =
          (* This function is called just before the thread's timeslice ends *)
          if Some(Thread.id(Thread.self())) = !interrupt then
           (interrupt := None; raise Sys.Break) in
+(*
        let _ = Sys.signal Sys.sigvtalrm (Sys.Signal_handle force_interrupt) in
+*)
         fun () ->
          match !worker_thread with
             None -> assert false