[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gawk-stable] bug: fatal error when getline from directory
From: |
Steffen Schuler |
Subject: |
Re: [gawk-stable] bug: fatal error when getline from directory |
Date: |
Mon, 05 Jan 2009 23:02:01 +0100 |
User-agent: |
Icedove 1.5.0.14eol (X11/20080724) |
Aharon Robbins wrote:
OK. The fix is now in the gawk-stable CVS. It should be reflected in
the repository on Savannah within an hour from this email.
The man page and reference card have been updated to indicate that
getline returns 1 on success, also.
Thanks again everyone.
Arnold
Hi Arnold, hi Paolo, hi all other discussion members,
thank you very much Paolo for providing the original bug report,
for discussing it, pointing to the best solution and for providing a bug
fix.
Also thanks to all other discussion members for discussing it and giving
valuable input.
Thank you very much Arnold for your decision and for providing the bug fix.
Regards,
Steffen
P.S.: There were a lot of good arguments and I have a great respect for
everyone
but the flame war wasn't necessary.
- Re: [gawk-stable] bug: fatal error when getline from directory, (continued)
- Re: [gawk-stable] bug: fatal error when getline from directory, John Cowan, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Eli Zaretskii, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Paolo, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory, Eli Zaretskii, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory, Paolo, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory, Andrew J. Schorr, 2009/01/05
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/03
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/03
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/05
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory,
Steffen Schuler <=
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/06