Closed clavin closed 2 years ago
Patches the close in StdinDiscarder to keep stdin unpaused if it was already in that state. readline.close() has the undocumented side-effect of pausing the input stream, in this case stdin.
StdinDiscarder
readline.close()
stdin
Fixes #209.
Patches the close in
StdinDiscarder
to keep stdin unpaused if it was already in that state.readline.close()
has the undocumented side-effect of pausing the input stream, in this casestdin
.Fixes #209.