Re: Reading /dev/stdin Input with a Timeout

[Eli Zaretskii]

> From: J Naman <jnaman2@gmail.com>
> Date: Wed, 13 Dec 2023 20:07:55 -0500
> 
> 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

The MinGW port of Gawk can read with timeout only from sockets.
Reading files and devices doesn't currently support READ_TIMEOUT in
the MinGW port.  Patches to add such support are welcome.

Thanks.