mirror of
https://gitea.wildfiregames.com/0ad/0ad.git
synced 2026-09-21 20:06:40 +00:00
f1181bada0
If we catch the signal we'd have to communicate that we terminated by signal, which might depend on shell. There is also the issue of various dialogs blocking regular quit which we don't want, so that would need extra work as well. As such just let the SIGINT/SIGTERM do there default action and forgo cleanup and let the OS handle it. Fixes: #198 Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>