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 }