Skip to content

Commit

Permalink
Dev server should not exit when it receives EOF (-1)
Browse files Browse the repository at this point in the history
  • Loading branch information
mkurz committed Jan 8, 2022
1 parent 45066c8 commit f35a1c2
Showing 1 changed file with 1 addition and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -126,9 +126,7 @@ object PlayConsoleInteractionMode extends PlayInteractionMode {
withConsoleReader { consoleReader =>
def waitEOF(): Unit = {
consoleReader.readCharacter() match {
case 4 | 13 | -1 =>
// Note: we have to listen to -1 for jline2, for some reason...
// STOP on Ctrl-D, Enter or EOF.
case 4 | 13 => // STOP on Ctrl-D or Enter
case 11 =>
consoleReader.clearScreen(); waitEOF()
case 10 =>
Expand Down

0 comments on commit f35a1c2

Please sign in to comment.