Stefan Holderbach efb4a9f95c
Fix Ctrl-D exit in cli (#508)
Clears to a new line for the potentially hosting process
Remove the output for `Ctrl-C`
2021-12-16 15:40:12 -06:00
..
2021-12-12 11:50:35 +00:00
2021-12-16 15:40:12 -06:00