From d92130453556e90976241b47e30f4f8c62f5d794 Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Sat, 9 Jun 2012 23:25:40 +0400
Subject: [PATCH] repl: quit command

---
 .../org/jetbrains/jet/cli/jvm/repl/ReplFromTerminal.java    | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/compiler/cli/src/org/jetbrains/jet/cli/jvm/repl/ReplFromTerminal.java b/compiler/cli/src/org/jetbrains/jet/cli/jvm/repl/ReplFromTerminal.java
index 7f772470242..b1484a89665 100644
--- a/compiler/cli/src/org/jetbrains/jet/cli/jvm/repl/ReplFromTerminal.java
+++ b/compiler/cli/src/org/jetbrains/jet/cli/jvm/repl/ReplFromTerminal.java
@@ -86,7 +86,7 @@ public class ReplFromTerminal {
     private void doRun() {
         try {
             System.out.println("Kotlin interactive shell");
-            System.out.println("Type :help for help");
+            System.out.println("Type :help for help, :quit for quit");
             while (true) {
                 boolean next = one();
                 if (!next) {
@@ -129,8 +129,12 @@ public class ReplFromTerminal {
             System.out.println("This is Kotlin REPL help");
             System.out.println("Available commands are:");
             System.out.println(":help                   show this help");
+            System.out.println(":quit                   exit the interpreter");
             return true;
         }
+        else if (command.equals("quit")) {
+            return false;
+        }
         else {
             System.out.println("Unknown command");
             System.out.println("Type :help for help");