| 450 | }; |
| 451 | |
| 452 | void PostMainLoop() |
| 453 | { |
| 454 | WaitTillSaved(); |
| 455 | |
| 456 | /* only save config if we have to */ |
| 457 | if (_save_config) { |
| 458 | SaveToConfig(); |
| 459 | SaveHotkeysToConfig(); |
| 460 | WindowDesc::SaveToConfig(); |
| 461 | SaveToHighScore(); |
| 462 | } |
| 463 | |
| 464 | /* Reset windowing system, stop drivers, free used memory, ... */ |
| 465 | ShutdownGame(); |
| 466 | } |
| 467 | |
| 468 | #if defined(UNIX) |
| 469 | extern void DedicatedFork(); |
no test coverage detected