2021-05-29 16:45:35 +02:00
|
|
|
#include <stdlib.h>
|
|
|
|
|
2022-09-07 21:03:53 +02:00
|
|
|
extern void __cxa_finalize(void *d);
|
|
|
|
|
2021-05-29 16:45:35 +02:00
|
|
|
void exit(int rc)
|
|
|
|
{
|
2022-09-07 21:03:53 +02:00
|
|
|
__cxa_finalize(NULL);
|
|
|
|
|
2021-05-29 16:45:35 +02:00
|
|
|
/* TODO: exit: Flush all streams */
|
|
|
|
/* TODO: exit: Close all streams */
|
|
|
|
/* TODO: exit: Remove temporary files */
|
|
|
|
|
|
|
|
_Exit(rc);
|
|
|
|
}
|