crash protection

[David Relson]

On Sat, 06 Sep 2003 17:02:59 +0200
Matthias Andree <matthias.andree at gmx.de> wrote:

...[snip]...

> The path I'd think would be
> 
>    if (setjmp(buffer)) {
>       close_db();
>       fprintf(stderr, "loud complaints with directions where and how
>       to report the error\n"); exit(3);
>    }

Matthias,

Rather than use longjmp() at all, why not call abort() and define our
own?  It would be (roughly):

void abort(void)
{
    close_wordlists(true);
    exit(EX_ERROR);
}