]> matita.cs.unibo.it Git - helm.git/commitdiff
Xavier code for killing a thread commented out for a while since it interacts badly...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Oct 2006 17:55:36 +0000 (17:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Oct 2006 17:55:36 +0000 (17:55 +0000)
helm/software/matita/matitaGui.ml

index ed90fd29dfbed6a14f7e0ea5e302c7d821eff089..dcbbb6df45ffc60bae3d1e32cbbf8e05be8c81ef 100644 (file)
@@ -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