diff options
author | Arun Persaud <arun@nubati.net> | 2011-10-06 19:30:21 -0700 |
---|---|---|
committer | Arun Persaud <apersaud@lbl.gov> | 2011-10-06 21:26:44 -0700 |
commit | 92b91104986b28919e4a3603ce1bc7fbde0b8fbb (patch) | |
tree | 5b6d538d59638aa1aebafdc606a46378a9f904fe /include/game.php | |
parent | 82a95233b5eec850096bae969d5dd70105c65586 (diff) | |
download | e-DoKo-92b91104986b28919e4a3603ce1bc7fbde0b8fbb.tar.gz e-DoKo-92b91104986b28919e4a3603ce1bc7fbde0b8fbb.tar.bz2 e-DoKo-92b91104986b28919e4a3603ce1bc7fbde0b8fbb.zip |
started on better mobile support
some changes in order of HTML, but mostly CSS
Diffstat (limited to 'include/game.php')
-rw-r--r-- | include/game.php | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/include/game.php b/include/game.php index 0ef5a3e..dcabc67 100644 --- a/include/game.php +++ b/include/game.php @@ -121,7 +121,7 @@ set_gametype('normal'); echo "<form action=\"index.php?action=game&me=$me\" method=\"post\">\n"; /* handle user notes (only possible while game is running)*/ -if( $mystatus!='gameover' ) +if( $mystatus!='gameover' ) if(myisset('note')) { $note = $_REQUEST['note']; @@ -130,15 +130,6 @@ if( $mystatus!='gameover' ) DB_insert_note($note,$gameid,$myid); }; -/* make sure that we don't show the notes to the wrong person - * (e.g. other people looking at an old game) - */ -if( $mystatus != 'gameover' || - ( $mystatus == 'gameover' && - isset($_SESSION['id']) && - $myid == $_SESSION['id'])) - output_user_notes($myid,$gameid,$mystatus); - /* handle calls, output a comment to show when the call was made */ /* initialize comments */ $comment = ''; @@ -2177,6 +2168,15 @@ if(sizeof($other_game_ids)>0 && $mystatus=='gameover') echo "</div>\n"; /* end gameinfo */ +/* make sure that we don't show the notes to the wrong person + * (e.g. other people looking at an old game) + */ +if( $mystatus != 'gameover' || + ( $mystatus == 'gameover' && + isset($_SESSION['id']) && + $myid == $_SESSION['id'])) + output_user_notes($myid,$gameid,$mystatus); + echo "</form>\n"; $gamestatus = DB_get_game_status_by_gameid($gameid); |