void MyFatal( char *Format, ... )
{
/* phantom */ va_list args;
EmergencySave( );
__fprintf_chk( stderr, 1, "%s (%i): fatal, ", Progname, getpid( ) );
__vfprintf_chk( stderr, 1, Format, ebp_12 );
fflush( stderr );
exit( 1 );
}
/* ---------------------------------------------------------------------------
* output of fatal error message
*/
void
MyFatal (char *Format, ...)
{
va_list args;
va_start (args, Format);
/* try to save the layout and do some cleanup */
EmergencySave ();
fprintf (stderr, "%s (%i): fatal, ", Progname, (int) getpid ());
vfprintf (stderr, Format, args);
fflush (stderr);
va_end (args);
exit (1);
}
