--- a/src/Pure/System/interrupt.scala Mon May 05 10:03:43 2014 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-/* Title: Pure/System/interrupt.scala
- Author: Makarius
-
-Support for POSIX interrupts (bypassed on Windows).
-*/
-
-package isabelle
-
-
-import sun.misc.{Signal, SignalHandler}
-
-
-object Interrupt
-{
- def handler[A](h: => Unit)(e: => A): A =
- {
- val SIGINT = new Signal("INT")
- val new_handler = new SignalHandler { def handle(s: Signal) { h } }
- val old_handler = Signal.handle(SIGINT, new_handler)
- try { e } finally { Signal.handle(SIGINT, old_handler) }
- }
-
- def exception[A](e: => A): A =
- {
- val thread = Thread.currentThread
- handler { thread.interrupt } { e }
- }
-}
-