repl: print a newline on ctrl-D

This commit is contained in:
Naïm Favier 2022-11-28 10:38:23 +01:00
parent cc308ee93d
commit 04ec157517
No known key found for this signature in database
GPG key ID: 95AFCE8211908325

View file

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