tree b5d843bc998f12b13f0bf845d4e7f5ec57d7e36a
parent d77c14e80ec2531ec4b27199da04a7cddbe42cd7
author Jonas Finnemann Jensen <jonasfj@google.com> 1636467366 +0100
committer GitHub <noreply@github.com> 1636467366 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJhioKmCRBK7hj4Ov3rIwAAekMIACLr5lAOq1f9yUqpX9tW07JX
 tdnQEv2GCls/fIm32ifWTMBzZnt+RUyYg6oDTrskCPO5lSPmsLEsMSnPTlFhbnfw
 oSPSoGVn2DX/3MBbeaKSAQ0aqQKV6G0ocX5mZTlJ5vghQEXSE9aK0NXijDJswMkZ
 hIGgQpvZXLG0xkCz/RN32tFiZlPvdvO35J6/Gv4ZgRrnRXV8pkce6udm7o6j/arf
 OpR3expYQuANsKxtXKb8XjFnPxvJq/dVdTa+6FLqmzqrk8QZo0iCMnNgQvhdGkdp
 1SlRPbt72GbQanUxpKAXaiqF7j/EraduRXp27q6nTzu1Xjry/THUjJYCB23nHsE=
 =a+aI
 -----END PGP SIGNATURE-----
 

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.