Lucas Jenß 6ed11de354
Merge pull request #10105 from x3ro/fix-shell-prompt-infinite-loop
Do not try to continue reading shell commands if input source is closed
2018-10-30 19:24:01 +01:00
..