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: make_still_working~6808
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=089dfeef33f60405d2ae89f9b409d241ef3c1ca8;p=helm.git

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

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