diff --git a/debugger/debugger.cpp b/debugger/debugger.cpp index 23a9459..3fa5324 100644 --- a/debugger/debugger.cpp +++ b/debugger/debugger.cpp @@ -530,6 +530,11 @@ void enter_debugger() { continue; } + if (feof(stdin)) { + printf("eof -> quit\n"); + cmd = "quit"; + } + cmd_repeat = cmd.empty() && !last_cmd.empty(); if (cmd_repeat) { cmd = last_cmd;