rnd-20020407-2-src
[rocksndiamonds.git] / src / game.c
index 6d536ec61824da1b027d525fa4620b2cc341e2d5..f0bf7dd9600b8bef766243fad5256c9fdd382372 100644 (file)
@@ -6305,10 +6305,10 @@ void RaiseScoreElement(int element)
   }
 }
 
-void RequestQuitGame()
+void RequestQuitGame(boolean ask_if_really_quit)
 {
   if (AllPlayersGone ||
-      !setup.ask_on_escape ||
+      !ask_if_really_quit ||
       level_editor_test_game ||
       Request("Do you really want to quit the game ?",
              REQ_ASK | REQ_STAY_CLOSED))
@@ -6478,7 +6478,7 @@ static void HandleGameButtons(struct GadgetInfo *gi)
   switch (id)
   {
     case GAME_CTRL_ID_STOP:
-      RequestQuitGame();
+      RequestQuitGame(TRUE);
       break;
 
     case GAME_CTRL_ID_PAUSE: