Two annoying REPL things made less annoying:

 * ctrl-C will no longer kill the repl unless you hit it again
 * ctrl-Z will no longer make the repl useless because of jline

In the service of the first I wrote signal handling code, which we can
put to use in other ways as well. No review.

1 files changed, 10 insertions, 0 deletions

diff --git a/src/compiler/scala/tools/nsc/io/package.scala b/src/compiler/scala/tools/nsc/io/package.scala
index 2016fb5518..1d484a6c0e 100644
--- a/src/compiler/scala/tools/nsc/io/package.scala
+++ b/src/compiler/scala/tools/nsc/io/package.scala
@@ -6,6 +6,7 @@
 package scala.tools.nsc
 
 import java.util.concurrent.{ Future, Callable, Executors }
+import java.util.{ Timer, TimerTask }
 
 package object io {
   def runnable(body: => Unit): Runnable       = new Runnable { override def run() = body }
@@ -24,4 +25,13 @@ package object io {
     thread.start
     thread
   }
+
+  // Set a timer to execute the given code.
+  def timer(seconds: Int)(body: => Unit): Timer = {
+    val alarm = new Timer(true) // daemon
+    val tt    = new TimerTask { def run() = body }
+
+    alarm.schedule(tt, seconds * 1000)
+    alarm
+  }
 }
\ No newline at end of file