<?php
$html_title = "WinBolo.net: Game Information";
require "../php/header.php";
include "{$BASE_FILES}/inc_top.php";
$ip = $HTTP_GET_VARS['ip'];
$port = $HTTP_GET_VARS['port'];
$key = $HTTP_GET_VARS['key'];
$info = getGameInfo($ip, $port, $key);
if ($info == 0) {
$error_body = "Sorry this game is no longer in progress.<p>You may like to try the <a href='/archivedgames.php'>Archived Game Logs</a>";
include "{$BASE_FILES}/inc_error.php";
} else {
$log = getGameLog($info->getKey());
include "{$BASE_FILES}/inc_gamedetail.php";
}
include "{$BASE_FILES}/inc_bottom.php";
<link href="/assets/stylesheets/add.css" rel="stylesheet">
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<![endif]-->
</head>
<!-- PHP ================== -->
<?php
include_once "/var/www/php/sql_connect.php";
$leaders = getTop3();
$log = getGameLog();
?>
<style>
.leader{
width:300px;
height: 120px;
background-color: #222;
border: 1px solid #555;
border-radius: 3px;
margin-top: 5px;
margin-bottom: 2%;
margin-right: auto;
margin-left: auto;
color: white;
