// // OS_Exit: C // // Called in cases where REBOL needs to quit immediately // without returning from the main() function. // void OS_Exit(int code) { //OS_Call_Device(RDI_STDIO, RDC_CLOSE); // close echo OS_Quit_Devices(0); #ifndef REB_CORE OS_Destroy_Graphics(); #endif exit(code); }
*/ void OS_Exit(int code) /* ** Called in cases where REBOL needs to quit immediately ** without returning from the main() function. ** ***********************************************************************/ { //OS_Call_Device(RDI_STDIO, RDC_CLOSE); // close echo OS_Quit_Devices(0); exit(code); }