From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <02d901c37090$6f9d7ee0$b9844051@insultant.net>
From: "boyd, rounin" <boyd@insultant.net>
To: <9fans@cse.psu.edu>
References: <a98d6dc0c41630f475a04b6e73ff76f0@caldo.demon.co.uk>
Subject: Re: [9fans] is there any good reason why awk does this?
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
Date: Mon,  1 Sep 2003 15:53:32 +0200
Topicbox-Message-UUID: 27c32124-eacc-11e9-9e20-41e7f4b1d025

i think awk should be able to exit with a string like everything
else does/should with exits().