[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Reading /dev/stdin Input with a Timeout
From: |
arnold |
Subject: |
Re: Reading /dev/stdin Input with a Timeout |
Date: |
Mon, 25 Dec 2023 02:28:33 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Hi All.
Sorry for the long delay in replying. I think I prefer the attached patch.
I will try to get it into Git in the next day or so.
Thanks,
Arnold
"Andrew J. Schorr" <aschorr@telemetry-investments.com> wrote:
> Hi,
>
> I think the attached patch fixes this, but I fear that I may be missing
> something subtle about how GAWK_READ_TIMEOUT is supposed to work, because I
> can't fathom why it was coded the other way previously...
>
> Regards,
> Andy
>
> On Thu, Dec 14, 2023 at 07:02:58AM -0600, Ed Morton wrote:
> > Though this doesn't work:
> >
> > GAWK_READ_TIMEOUT=1000 gawk '
> > { print "You entered: " $0 }
> > '
> >
> > this does:
> >
> > GAWK_READ_TIMEOUT=1000 gawk '
> > BEGIN {
> > if ( !("-","READ_TIMEOUT") in PROCINFO ) {
> > PROCINFO["-","READ_TIMEOUT"] = ENVIRON["GAWK_READ_TIMEOUT"]
> > }
> > }
> > { print "You entered: " $0 }
> > '
> > gawk: cmd. line:4: fatal: error reading input file `-': Connection
> > timed out
> >
> > so there's a workaround, though it seems like a fix should be
> > possible for this GAWK_READ_TIMEOUT problem (which is apparently
> > different from John's original PROCINFO["-","READ_TIMEOUT"] MinGW
> > problem).
> >
> > Ed.
timeout.diff
Description: Text document
- Reading /dev/stdin Input with a Timeout, J Naman, 2023/12/13
- Re: Reading /dev/stdin Input with a Timeout, Ed Morton, 2023/12/13
- Message not available
- Re: Reading /dev/stdin Input with a Timeout, Ed Morton, 2023/12/14
- Re: Reading /dev/stdin Input with a Timeout, Ed Morton, 2023/12/14
- Re: Reading /dev/stdin Input with a Timeout, Andrew J. Schorr, 2023/12/14
- Re: Reading /dev/stdin Input with a Timeout, Ed Morton, 2023/12/14
- Re: Reading /dev/stdin Input with a Timeout,
arnold <=
- Re: Reading /dev/stdin Input with a Timeout, arnold, 2023/12/25
- Re: Reading /dev/stdin Input with a Timeout, arnold, 2023/12/25
Re: Reading /dev/stdin Input with a Timeout, Eli Zaretskii, 2023/12/14