Merge pull request #7358 from ncfavier/repl-exit-newline

repl: print a newline on ctrl-D
This commit is contained in:
Eelco Dolstra 2022-11-29 11:31:43 +01:00 committed by GitHub
commit af8a32143b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -270,6 +270,7 @@ void NixRepl::mainLoop()
// ctrl-D should exit the debugger. // ctrl-D should exit the debugger.
state->debugStop = false; state->debugStop = false;
state->debugQuit = true; state->debugQuit = true;
logger->cout("");
break; break;
} }
try { try {