X-Git-Url: https://git.nubati.net/cgi-bin/gitweb.cgi?p=e-DoKo.git;a=blobdiff_plain;f=include%2Fgame.php;h=f612b202870aec926035dedd1a9cfc4fe3319e77;hp=a11e6b6eb48d64c56370b2c497dcfbaeb402e753;hb=1a44bc0d058016a093a112f064bac63a570c400d;hpb=0edb4b26c049e07af0970e081fab699d2bdd333b
diff --git a/include/game.php b/include/game.php
index a11e6b6..f612b20 100644
--- a/include/game.php
+++ b/include/game.php
@@ -210,16 +210,19 @@ if($session)
echo " \n \n";
/* show score */
+
+ echo "
";
+
$score = generate_score_table($session);
+
+ /* get the last entry to show on the main page */
$tmpscore= $score;
$finalscore = array_pop($tmpscore);
$finalscore = $finalscore['players'];
- echo "
";
if($finalscore)
{
echo "Score: \n";
- /* output the final score on the front page */
foreach($finalscore as $user=>$value)
{
$name = DB_get_name('userid',$user);
@@ -232,10 +235,13 @@ if($session)
echo " ";
}
+ /* output all games for the score table */
echo format_score_table_html($score,$myid);
echo "
\n";
- /* figure out which game in a session we are in and link to the previous and next game if possible */
+ /* figure out which game in a session we are in and link to the
+ * previous and next game if possible
+ */
$hashes = DB_get_hashes_by_session($session,$myid);
$next = NULL;
$i = 1;
@@ -589,11 +595,10 @@ switch($mystatus)
else if($nines)
{
/* cancel game */
- $message = "Hello, \n\n".
- " the game has been canceled because ".DB_get_name('userid',$nines).
- " has five or more nines and nobody is playing solo.\n\n".
- " To redeal either start a new game or, in case the game was part of a tournament, \n".
- " go to the last game and use the link at the bottom of the page to redeal.\n\n";
+ $message = "the game has been canceled because ".DB_get_name('userid',$nines).
+ "has five or more nines and nobody is playing solo.\n\n".
+ "To redeal either start a new game or, in case the game was part of a tournament,\n".
+ "go to the last game and use the link at the bottom of the page to redeal.\n\n";
$userids = DB_get_all_userid_by_gameid($gameid);
foreach($userids as $user)