QTfrontend/hwform.cpp
changeset 4845 9a0f5377c529
parent 4831 57b46b5dbfff
parent 4751 849740a91d36
child 4870 c02406028e02
--- a/QTfrontend/hwform.cpp	Sun Jan 16 13:53:32 2011 -0500
+++ b/QTfrontend/hwform.cpp	Mon Jan 17 23:22:52 2011 +0100
@@ -974,12 +974,13 @@
             if (id == ID_PAGE_INGAME ||
 // was room chief and the game was aborted
                 (hwnet && hwnet->isRoomChief() && hwnet->isInRoom() && 
-                    (gameState == gsInterrupted || gameState == gsStopped || gameState == gsDestroyed))) {
+                    (gameState == gsInterrupted || gameState == gsStopped || gameState == gsDestroyed || gameState == gsHalted))) {
                 if (id == ID_PAGE_INGAME) GoBack();
                 Music(ui.pageOptions->CBEnableFrontendMusic->isChecked());
                 if (wBackground) wBackground->startAnimation();
                 if (hwnet) hwnet->gameFinished();
             }
+            if (gameState == gsHalted) close();
         };
     }
 }