1987-03-31 10:45:53 +00:00
|
|
|
/* $Header$ */
|
1987-03-31 10:45:54 +00:00
|
|
|
|
1985-01-01 22:27:02 +00:00
|
|
|
/*
|
1987-03-31 10:45:54 +00:00
|
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
|
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
1985-01-01 22:27:02 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
exit(code)
|
|
|
|
|
{
|
|
|
|
|
_cleanup() ;
|
|
|
|
|
_exit(code) ;
|
|
|
|
|
}
|
