Re: Reading /dev/stdin Input with a Timeout

[Ed Morton]

FWIW it works for me with gawk 5.3 on cygwin.

Just out of curiosity, do you have the same problem if you set the 
`GAWK_READ_TIMEOUT` environment variable instead of 
`PROCINFO["/dev/stdin", "READ_TIMEOUT"]`?

    Ed.

On 12/13/2023 7:07 PM, J Naman wrote:
> Date: Thu Dec 14 2023 00:34:43 UTC
> Configuration Information [Automatically generated, do not change]:
>
> Gawk Version: GNU Awk 5.3.0, API 4.0
> Machine: AMD64(64-bit gawk)
> OS: Windows_NT = Win 7 [Version 6.1.7601]
> platform: mingw
> LC_ALL: C
> I have read:https://www.gnu.org/software/gawk/manual/html_node/Bugs.html
>    Yes or No: Yes
>
> Description:
> PROCINFO["/dev/stdin", "READ_TIMEOUT"] = 1000
> getline < "/dev/stdin"
> # does not timeout in 1 second; waits (forever) until Return key is pressed
> # ERRNO is not set if timeout is exceeded
> # Ref: 4.11 Reading Input with a Timeout, p.96
>
> Comment: This behavior MIGHT be due to the Mingw-console and not be a bug.
> print "Hello World" >"/dev/con" works on gawk mingw platform.
>
> Obviously this is not a debilitating bug, but I thought that I should
> report it.