Deal properly with EOF in the REPL, when built without readline
authorJohn Darrington <john@darrington.wattle.id.au>
Sat, 5 Sep 2020 02:31:28 +0000 (04:31 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Sat, 5 Sep 2020 02:33:59 +0000 (04:33 +0200)
commitdb2d3bd93b133e061510b023a7ade539ab0aad25
treea519159766618d81803bbc9553ea492e7fb42ec3
parentf6c9d54318ada2ae21badf52c9caa73fb0d2c514
Deal properly with EOF in the REPL, when built without readline
src/ui/terminal/terminal-reader.c