Re: [bug-gawk] `exit' statement issue

[Eli Zaretskii]

> Date: Sat, 01 Jun 2013 15:15:25 +0300
> From: Eli Zaretskii <address@hidden>
> Cc: address@hidden, address@hidden
> 
> > From: Aharon Robbins <address@hidden>
> > Date: Tue, 28 May 2013 22:37:38 +0300
> > 
> > Since your script runs only on Windoew, I cannot test it on Linux,
> > perhaps Eli will try.
> 
> Just tried, and I can run it on GNU/Linux with no trouble, and I get
> the same error message at exit.  I edited the _fatal function to this:
> 
>   func _fatal(t) {
>         exit }
> 
> and also invoked the script directly, like this:
> 
>   gawk -f _main.gwk _main.gwk
> 
> and it still exits with the same fatal error message.  I sent in a
> previous message the data I was able to collect from the fatal error.

Note that the reformatted script you (Aharon) sent does not include
any non-ASCII characters, while the original one did.  Perhaps those
characters are somehow related to the fatal eror.

Denis, what encoding was that script in, and what was the purpose of
using those non-ASCII characters?