static void _X_NORETURN abort_server(void) { fflush(stderr); #ifdef SABER saber_stop(); #else _exit(1); #endif }
void ExcAbort(const Exception *excP, ExcDetail detail, ExcData data, ExcMessage message) { #ifdef __SABER__ saber_stop(); #else /* dump core */ abort(); #endif }