Back to index

tetex-bin  3.0
uexit.c
Go to the documentation of this file.
00001 /* uexit.c: define uexit to do an exit with the right status.  We can't
00002    just call `exit' from the web files, since the webs use `exit' as a
00003    loop label.  Public domain. */
00004 
00005 #include "config.h"
00006 
00007 void
00008 uexit P1C(int, unix_code)
00009 {
00010   int final_code;
00011   
00012   if (unix_code == 0)
00013     final_code = EXIT_SUCCESS;
00014   else if (unix_code == 1)
00015     final_code = EXIT_FAILURE;
00016   else
00017     final_code = unix_code;
00018   
00019   exit (final_code);
00020 }