1
/*
2
** Copyright 1998 - 1999 Double Precision, Inc. See COPYING for
3
** distribution information.
4
*/
5
6
#include <stdlib.h>
7
8
static const char rcsid[]="$Id: authexit.c,v 1.1 2000/04/13 17:55:05 bruce Exp $";
9
10
void authexit(int rc)
11
{
12
exit(rc);
13
}