We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ce0acf1 commit 64ec7afCopy full SHA for 64ec7af
language-server/src/dotty/tools/languageserver/worksheet/InputStreamConsumer.scala
@@ -21,5 +21,5 @@ class InputStreamConsumer(in: InputStream) {
21
}
22
23
object InputStreamConsumer {
24
- def delimiter = "\uE000" // withing private use area
+ def delimiter = "##!!##"
25
language-server/src/dotty/tools/languageserver/worksheet/ReplProcess.scala
@@ -11,7 +11,8 @@ object ReplProcess {
11
while (true) {
12
val code = in.next() // blocking
13
state = driver.run(code)(state)
14
- print(InputStreamConsumer.delimiter) // needed to mark the end of REPL output
+ Console.print(InputStreamConsumer.delimiter) // needed to mark the end of REPL output
15
+ Console.flush()
16
17
18
0 commit comments