BUGFIX: couldn't restart a finished game; force reload of CSS

[e-DoKo.git] / include / game.php

diff --git a/include/game.php b/include/game.php
index 51d4320dfaa578315a21d32f42cb5eb51eb47b00..b2c4fb08b7d841e876fd0e617df38843c3bd58a3 100644 (file)
--- a/include/game.php
+++ b/include/game.php
@@ -1727,12 +1727,19 @@ switch($mystatus)
        echo "<hr />";
       }
 
-    echo "<input type=\"submit\" value=\"submit\" />\n";
+    echo "<input type=\"submit\" value=\"submit\" />\n<hr />\n";
 
+    $session = DB_get_session_by_gameid($gameid);
+    $score   = generate_score_table($session);
+
+    echo $score;
+
+    echo "</div>\n";
+
+    echo "</form>\n";
 
     if($mystatus=='gameover' && DB_get_game_status_by_gameid($gameid)=='gameover' )
       {
-       echo "<hr />\n";
 
        $session = DB_get_session_by_gameid($gameid);
        $result  = mysql_query("SELECT id,create_date FROM Game".
@@ -1756,15 +1763,7 @@ switch($mystatus)
          }
       }
 
-    $session = DB_get_session_by_gameid($gameid);
-    $score = generate_score_table($session);
-
-    //  if(size_of($score)>30)
-      echo $score;
 
-    echo "</div>\n";
-
-    echo "</form>\n";
     output_footer();
     DB_close();
     exit();