From bf6d9bfdac41dfd70c04749aa3d7efb60e9ae984 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jodersky@gmail.com>
Date: Tue, 6 May 2014 22:28:48 +0200
Subject: add Ctrl+D option to end terminal

---
 .../com/github/jodersky/flow/samples/terminal/ConsoleReader.scala   | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/flow-samples/flow-samples-terminal/src/main/scala/com/github/jodersky/flow/samples/terminal/ConsoleReader.scala b/flow-samples/flow-samples-terminal/src/main/scala/com/github/jodersky/flow/samples/terminal/ConsoleReader.scala
index 701ecd7..8eb1f15 100644
--- a/flow-samples/flow-samples-terminal/src/main/scala/com/github/jodersky/flow/samples/terminal/ConsoleReader.scala
+++ b/flow-samples/flow-samples-terminal/src/main/scala/com/github/jodersky/flow/samples/terminal/ConsoleReader.scala
@@ -10,8 +10,10 @@ class ConsoleReader extends Actor {
   def receive = {
     case Read =>
       Console.readLine() match {
-        case ":q" => parent ! EOT
-        case s => parent ! ConsoleInput(s)
+        case ":q" | null => parent ! EOT
+        case s => {
+          parent ! ConsoleInput(s)
+        }
       }
   }
 
-- 
cgit v1.2.3