From 03c3fd2c2b130c0c75a7cc1d11c31563b07936d3 Mon Sep 17 00:00:00 2001
From: "Pavel V. Talanov" <talanov.pavel@gmail.com>
Date: Mon, 26 Oct 2015 15:17:51 +0300
Subject: [PATCH] Repl: correctly handle readLine()

---
 .../src/org/jetbrains/kotlin/console/ReplOutputHandler.kt       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idea/idea-repl/src/org/jetbrains/kotlin/console/ReplOutputHandler.kt b/idea/idea-repl/src/org/jetbrains/kotlin/console/ReplOutputHandler.kt
index c7f74be0ec3..47f0867b917 100644
--- a/idea/idea-repl/src/org/jetbrains/kotlin/console/ReplOutputHandler.kt
+++ b/idea/idea-repl/src/org/jetbrains/kotlin/console/ReplOutputHandler.kt
@@ -84,7 +84,7 @@ class ReplOutputHandler(
             else -> logError(ReplOutputHandler::class.java, "Unexpected output type:\n$outputType")
         }
 
-        if (outputType in setOf("SUCCESS", "COMPILE_ERROR", "INTERNAL_ERROR", "RUNTIME_ERROR")) {
+        if (outputType in setOf("SUCCESS", "COMPILE_ERROR", "INTERNAL_ERROR", "RUNTIME_ERROR", "READLINE_END")) {
             runner.commandHistory.entryProcessed()
         }
     }