From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 2 Oct 2006 17:55:36 +0000 (+0000)
Subject: Xavier code for killing a thread commented out for a while since it interacts badly... 
X-Git-Tag: 0.4.95@7852~948
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bce6bb21ec9f63746f6f482a7db209c899845ede;p=helm.git

Xavier code for killing a thread commented out for a while since it interacts badly with (labl?)Gtk.
---

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index ed90fd29d..dcbbb6df4 100644
--- a/matita/matitaGui.ml
+++ b/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