Merge branch 'jgrpp' into jgrpp-beta

# Conflicts:
#	src/settings.cpp
#	src/settings_gui.cpp
#	src/settings_internal.h
#	src/table/company_settings.ini
#	src/table/currency_settings.ini
#	src/table/gameopt_settings.ini
#	src/table/misc_settings.ini
#	src/table/settings.h.preamble
#	src/table/settings.ini
#	src/table/win32_settings.ini
#	src/table/window_settings.ini
This commit is contained in:
Jonathan G Rennison
2021-10-08 18:12:04 +01:00
66 changed files with 1239 additions and 643 deletions

View File

@@ -758,6 +758,12 @@ static void CDECL CustomAbort(int signal)
log.MakeDesyncCrashLog(log_in, log_out, info);
}
/* static */ void CrashLog::InconsistencyLog(const InconsistencyExtraInfo &info)
{
CrashLogWindows log(nullptr);
log.MakeInconsistencyLog(info);
}
/* static */ void CrashLog::VersionInfoLog()
{
CrashLogWindows log(nullptr);