/*
** Copyright 1998 - 1999 Double Precision, Inc.  See COPYING for
** distribution information.
*/

#include	<stdlib.h>

static const char rcsid[]="$Id: authexit.c,v 1.2 2000/12/18 20:20:10 bruce Exp $";

void authexit(int rc)
{
	exit(rc);
}