337 |
void |
void |
338 |
error(char *s) |
error(char *s) |
339 |
{ |
{ |
340 |
if ( catch_fatal > 0 && interrupt_enable ) { |
if (catch_fatal>0 && interrupt_enable ) |
341 |
catch_fatal = -1; |
{catch_fatal = -1; |
342 |
if ( sgc_enabled ) { |
#ifdef SGC |
343 |
sgc_quit(); |
if (sgc_enabled) |
344 |
} else { |
{ sgc_quit();} |
345 |
install_segmentation_catcher(); |
if (sgc_enabled==0) |
346 |
} |
#endif |
347 |
FEerror("Caught fatal error [memory may be damaged]",0); |
{ install_segmentation_catcher() ;} |
348 |
} |
FEerror("Caught fatal error [memory may be damaged]",0); } |
349 |
printf ( "\nUnrecoverable error: %s.\n", s ); |
printf("\nUnrecoverable error: %s.\n", s); |
350 |
fflush(stdout); |
fflush(stdout); |
351 |
#ifdef UNIX |
#ifdef UNIX |
352 |
abort(); |
abort(); |
353 |
#endif |
#endif |