QTfrontend/hwform.cpp
branch0.9.15
changeset 4751 849740a91d36
parent 4746 3ae448aebe7e
child 4759 4fa0c3da81f8
child 4845 9a0f5377c529
--- a/QTfrontend/hwform.cpp	Sat Jan 15 21:00:45 2011 +0100
+++ b/QTfrontend/hwform.cpp	Sat Jan 15 21:32:44 2011 +0100
@@ -980,7 +980,7 @@
                 if (wBackground) wBackground->startAnimation();
                 if (hwnet) hwnet->gameFinished();
             }
-            if (gameState == gsHalted) close();
+            if (gameState == gsHalted) close();   
         };
     }
 }