a bit more cleanup in the layout

[e-DoKo.git] / index.php

diff --git a/index.php b/index.php
index 40920debcf9072f8879233a7e4fb71752e2cca74..287a064d5b7fcbed5c33f970546de778234587ec 100644 (file)
--- a/index.php
+++ b/index.php
@@ -280,9 +280,6 @@ else if(isset($_REQUEST["me"]))
        break;
       case 'play':
       case 'gameover': /*both entries here,  so that the tricks are visible for both in case of 'play' there is a break later that skips the last part*/
        break;
       case 'play':
       case 'gameover': /*both entries here,  so that the tricks are visible for both in case of 'play' there is a break later that skips the last part*/

-       display_news();
-       display_status();
-

        /* display local time */
        echo "<div class=\"time\">\n Local times:<table>";
        $users = array();
        /* display local time */
        echo "<div class=\"time\">\n Local times:<table>";
        $users = array();


@@ -297,6 +294,7 @@ else if(isset($_REQUEST["me"]))
            echo "<tr> <td>$name</td> <td>".date("Y-m-d H:i:s")."</td></tr>\n";
          };
        echo "</table>\n</div>\n";
            echo "<tr> <td>$name</td> <td>".date("Y-m-d H:i:s")."</td></tr>\n";
          };
        echo "</table>\n</div>\n";

+       display_status();

 
        /* display links to other games */
        echo "<div class=\"over\">\n";
 
        /* display links to other games */
        echo "<div class=\"over\">\n";


@@ -309,6 +307,8 @@ else if(isset($_REQUEST["me"]))
        echo "</form>\n";
        echo "</div>\n";
 
        echo "</form>\n";
        echo "</div>\n";
 

+       display_news();
+

        $gamestatus = DB_get_game_status_by_gameid($gameid);
        if($gamestatus == 'pre')
          {
        $gamestatus = DB_get_game_status_by_gameid($gameid);
        if($gamestatus == 'pre')
          {


@@ -593,8 +593,7 @@ else if(isset($_REQUEST["me"]))
        $zone = return_timezone($offset);
        date_default_timezone_set($zone);
 
        $zone = return_timezone($offset);
        date_default_timezone_set($zone);
 

-       echo "ok. your logged in, now what? :) <br />last login: ";
-       echo date("r",$unixtime)."<br />";
+       echo "last login: ".date("r",$unixtime)."<br />";

 
        DB_update_user_timestamp($uid);
 
 
        DB_update_user_timestamp($uid);