Merge pull request #1472 from metalefty/fflush

common: flush stream in g_deinit()
This commit is contained in:
metalefty 2020-01-08 09:34:31 +09:00 committed by GitHub
commit e3e8ed0758
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -166,6 +166,8 @@ g_deinit(void)
#if defined(_WIN32) #if defined(_WIN32)
WSACleanup(); WSACleanup();
#endif #endif
fflush(stdout);
fflush(stderr);
g_rm_temp_dir(); g_rm_temp_dir();
} }
@ -3398,7 +3400,7 @@ g_getenv(const char *name)
int int
g_exit(int exit_code) g_exit(int exit_code)
{ {
_exit(exit_code); exit(exit_code);
return 0; return 0;
} }