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.
2 parents 3c196b5 + bc10cf7 commit c5ef2d0Copy full SHA for c5ef2d0
compiler/src/dotty/tools/repl/ReplDriver.scala
@@ -26,7 +26,6 @@ import org.jline.reader._
26
import scala.annotation.tailrec
27
import scala.collection.JavaConverters._
28
29
-
30
/** The state of the REPL contains necessary bindings instead of having to have
31
* mutation
32
*
@@ -115,9 +114,9 @@ class ReplDriver(settings: Array[String],
115
114
try {
116
val line = terminal.readLine(completer)
117
ParseResult(line)
118
- }
119
- catch {
120
- case _: EndOfFileException => // Ctrl+D
+ } catch {
+ case _: EndOfFileException |
+ _: UserInterruptException => // Ctrl+D or Ctrl+C
121
Quit
122
}
123
0 commit comments