diff --git a/language-server/src/dotty/tools/languageserver/worksheet/InputStreamConsumer.scala b/language-server/src/dotty/tools/languageserver/worksheet/InputStreamConsumer.scala index 871bb47eb09c..baac4df9e88a 100644 --- a/language-server/src/dotty/tools/languageserver/worksheet/InputStreamConsumer.scala +++ b/language-server/src/dotty/tools/languageserver/worksheet/InputStreamConsumer.scala @@ -21,5 +21,5 @@ class InputStreamConsumer(in: InputStream) { } object InputStreamConsumer { - def delimiter = "\uE000" // withing private use area + def delimiter = "##!!##" } diff --git a/language-server/src/dotty/tools/languageserver/worksheet/ReplProcess.scala b/language-server/src/dotty/tools/languageserver/worksheet/ReplProcess.scala index 57f2bde33659..faed5754861e 100644 --- a/language-server/src/dotty/tools/languageserver/worksheet/ReplProcess.scala +++ b/language-server/src/dotty/tools/languageserver/worksheet/ReplProcess.scala @@ -11,7 +11,8 @@ object ReplProcess { while (true) { val code = in.next() // blocking state = driver.run(code)(state) - print(InputStreamConsumer.delimiter) // needed to mark the end of REPL output + Console.print(InputStreamConsumer.delimiter) // needed to mark the end of REPL output + Console.flush() } } }