Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!CS.UTEXAS.EDU!meyering
From: meyering@CS.UTEXAS.EDU (Jim Meyering)
Newsgroups: gnu.utils.bug
Subject: gawk exit "bug" -- a retraction
Message-ID: <9002022053.AA01181@ai.cs.utexas.edu>
Date: 2 Feb 90 20:53:43 GMT
Sender: gupta-n@tut.cis.ohio-state.edu
Distribution: gnu
Organization: U of TX at Austin CS Dept
Lines: 19

Regarding my recent "bug" report concerning gawk's exit command,
David C Lawrence (tale@turing.cs.rpi.edu) wrote to me:

>Your awk programme is buggy.  You have told it to exit 2 as soon as
>gets any input lines.  /dev/null didn't feed it any input lines so it
>doesn't hit that statement.

He's right.  I die of embarrassment.

Unfortunately, I hadn't read the manual carefully enough.
The gawk program that prompted the pared-down "bug report"
had a {} rule with actions including "exit 2," and the pattern

    END { exit 0 }

Now I realize what was happening.
Sorry for the false alarm.

Jim Meyering      meyering@cs.utexas.edu