From 089dfeef33f60405d2ae89f9b409d241ef3c1ca8 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 2 Oct 2006 17:55:36 +0000
Subject: [PATCH] Xavier code for killing a thread commented out for a while
 since it interacts badly with (labl?)Gtk.

---
 helm/software/matita/matitaGui.ml | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.39.2