This commit is contained in:
Eelco Dolstra 2018-04-16 16:34:19 +02:00
commit d5c9315d84
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -189,6 +189,7 @@ bool NixRepl::getLine(string & input, const std::string &prompt)
if (!s) {
switch (auto type = linenoiseKeyType()) {
case 1: // ctrl-C
input = "";
return true;
case 2: // ctrl-D
return false;