GUI: handle SIGTERM correctly

issue #1143
2023-07-09 19:19:37 -05:00 · 2023-07-09 19:19:37 -05:00 · 50dda44880
commit 50dda44880
parent 319ed04946
3 changed files with 21 additions and 0 deletions
--- a/src/gui/gui.cpp
+++ b/src/gui/gui.cpp
@ -6666,6 +6666,10 @@ bool FurnaceGUI::finish() {
  return true;
 }

+void FurnaceGUI::requestQuit() {
+  quit=true;
+}
+
 FurnaceGUI::FurnaceGUI():
  e(NULL),
  renderBackend(GUI_BACKEND_SDL),