- /* display local time */
- echo "<div class=\"time\">\n Local times:<table>";
- $users = array();
- $users = DB_get_all_userid_by_gameid($gameid);
- foreach($users as $user)
- {
- $offset = DB_get_user_timezone($user);
- $zone = return_timezone($offset);
- date_default_timezone_set($zone);
- $name = DB_get_name_by_userid($user);
-
- echo "<tr> <td>$name</td> <td>".date("Y-m-d H:i:s")."</td></tr>\n";
- };
- echo "</table>\n</div>\n";
-
- if($gamestatus != 'pre')
- display_status($GT);
-