369 |
void |
void |
370 |
error(char *s) |
error(char *s) |
371 |
{ |
{ |
372 |
if (catch_fatal>0 && interrupt_enable ) |
if ( catch_fatal > 0 && interrupt_enable ) { |
373 |
{catch_fatal = -1; |
catch_fatal = -1; |
374 |
if (sgc_enabled) |
if ( sgc_enabled ) { |
375 |
{ sgc_quit();} |
sgc_quit(); |
376 |
if (sgc_enabled==0) |
} |
377 |
{ install_segmentation_catcher() ;} |
if ( sgc_enabled == 0 ) { |
378 |
FEerror("Caught fatal error [memory may be damaged]",0); } |
install_segmentation_catcher(); |
379 |
printf("\nUnrecoverable error: %s.\n", s); |
} |
380 |
fflush(stdout); |
FEerror("Caught fatal error [memory may be damaged]",0); |
381 |
|
} |
382 |
|
printf("\nUnrecoverable error: %s.\n", s); |
383 |
|
fflush(stdout); |
384 |
#ifdef UNIX |
#ifdef UNIX |
385 |
abort(); |
abort(); |
386 |
#endif |
#endif |
387 |
} |
} |
388 |
|
|