tree 4d647ffaee4635ef4718671a312daba8b74b30c0
parent 0035a40f25d027130c0314571da53ffafc6d973b
author Jonas Finnemann Jensen <jonasfj@google.com> 1636467366 +0100
committer Jonas Finnemann Jensen <jonasfj@google.com> 1636467501 +0100

Fix hanging event handler for `stdin`. (#3218)

Piping `stdin` to a `LineSplitter` and then using a `StreamQueue` causes
event handler to wait for next characters after a line has been read.
Hence, if we don't `exit()` explicitly or hit `stdin.close()` then the
process will hang waiting for input on `stdin`.

Using `stdin.readLineSync()` alleviates this issue. Having a timeout on
prompts for tokens is nice, but only really required if we prompt while
the solver is running. Which we probably won't need to do anyways, so
not having a timeout is likely fine.