Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 56861 5f827142d89a
parent 56860 dc71c3d0e909
child 56871 d06ff36b4fa7 
--- a/src/Pure/Tools/build.scala	Mon May 05 09:24:34 2014 +0200
+++ b/src/Pure/Tools/build.scala	Mon May 05 09:41:23 2014 +0200
@@ -814,7 +814,7 @@
     def sleep()
     {
       try { Thread.sleep(500) }
-      catch { case Exn.Interrupt() => Thread.currentThread.interrupt }
+      catch { case Exn.Interrupt() => Exn.Interrupt.impose() }
     }
 
     @tailrec def loop(
isabelle