Merge pull request #14833 from PJB3005/17-12-19-fix_mono_fatal_logs

Fix fatal mono logs not getting logged to disk.
This commit is contained in:
Rémi Verschelde 2017-12-19 17:40:34 +01:00 committed by GitHub
commit f66507e072
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -70,7 +70,9 @@ void gdmono_MonoLogCallback(const char *log_domain, const char *log_level, const
}
if (fatal) {
ERR_PRINTS("Mono: FALTAL ERROR, ABORTING! Logfile: " + GDMonoLog::get_singleton()->get_log_file_path() + "\n");
ERR_PRINTS("Mono: FATAL ERROR, ABORTING! Logfile: " + GDMonoLog::get_singleton()->get_log_file_path() + "\n");
// If we were to abort without flushing, the log wouldn't get written.
f->flush();
abort();
}
}