From 21a2d1d6061f790731171257b46317c02e8f4e0b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Alexis=20Laferri=C3=A8re?= Date: Wed, 14 Feb 2018 11:11:07 -0500 Subject: [PATCH] nitx: exit on EOF MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Alexis Laferrière --- src/nitx.nit | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/nitx.nit b/src/nitx.nit index 061b44e..d40da24 100644 --- a/src/nitx.nit +++ b/src/nitx.nit @@ -93,6 +93,9 @@ class Nitx var line = readline(">> ", true) if line != null then do_command(line) + else + # EOF + exit 0 end prompt end -- 1.7.9.5