diff options
| author | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-05-12 16:24:34 +0200 |
|---|---|---|
| committer | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-05-13 09:04:05 +0200 |
| commit | eeb7e718101fbc5c53d3e070d8987e468047d804 (patch) | |
| tree | 63672ce7e4c79e7df98934079e491fff90dce5a2 /misc | |
| parent | 914b0febf77c91ae7f20d098f62a5feefc1acdc3 (diff) | |
repl: clear the interrupt before reading the next line
Otherwise, it will be thrown again during exit when the repl is terminated by
end-of-input after the last command was interrupted.
Change-Id: I8456c47bc36cfb0892efdad5420f318f7e6526d5
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions