static void SignalExit(int sig) {
// only to restore framebuffer/resolution on some devices
plat_finish();
- exit(1);
+ _exit(1);
}
#endif
}
}
-void SysUpdate() {
-}
-
int get_state_filename(char *buf, int size, int i) {
return get_gameid_filename(buf, size,
"." STATES_DIR "%.32s-%.9s.%3.3d", i);