[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Adding an API hook to enable a select extension
From: |
Eli Zaretskii |
Subject: |
Re: [bug-gawk] Adding an API hook to enable a select extension |
Date: |
Fri, 31 May 2013 18:00:16 +0300 |
> Date: Fri, 31 May 2013 10:33:13 -0400
> From: "Andrew J. Schorr" <address@hidden>
> Cc: address@hidden
>
> > For Windows, that's not true: one can write 'select' for Windows that
> > will work for files and devices as well. It just takes more work,
> > because the version of 'select' provided by the OS only works for
> > sockets. You can see an example of that in gnulib.
>
> Thanks. If we get close to committing this, then I guess we should
> explore how to make it work under MinGw. Have you looked at what code
> changes would be necessary to get the read_timeout feature to work
> in MinGW?
I already have it working for sockets, as part of enabling the
networking features. Extending that to files and pipes would need to
have a replacement 'select' in pc/gawkmisc.pc.
- Re: [bug-gawk] Adding an API hook to enable a select extension, (continued)
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Manuel Collado, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Eli Zaretskii, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension, Andrew J. Schorr, 2013/05/31
- Re: [bug-gawk] Adding an API hook to enable a select extension,
Eli Zaretskii <=