Skip to content

Commit

Permalink
Freeze leaderboard until final results are released
Browse files Browse the repository at this point in the history
git-svn-id: https://ai-contest.googlecode.com/svn/trunk@648 9d0e4ec5-6d14-e29b-3149-cabf4038ef1e
  • Loading branch information
Janzert committed Dec 1, 2010
1 parent 76a6d1f commit 2a54d29
Show file tree
Hide file tree
Showing 3 changed files with 12 additions and 1 deletion.
2 changes: 1 addition & 1 deletion planet_wars/www/profile.php
Original file line number Diff line number Diff line change
Expand Up @@ -184,7 +184,7 @@ function toggle_change_country() {
</p>
EOT;
}
echo "<p><strong>Current Rank:</strong>&nbsp;$rank</p>";
/* echo "<p><strong>Current Rank:</strong>&nbsp;$rank</p>"; */

/*
$query = "SELECT * FROM submissions
Expand Down
8 changes: 8 additions & 0 deletions planet_wars/www/rankings.php
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,19 @@
include 'header.php';
include_once 'rankings_widget.php';

/*
echo <<<EOT
<h2>Current Rankings</h2>
<p>These rankings are updated continuously, 24 hours a day. Want to see your
name on the leaderboard? Check out the <a href="quickstart.php">
Five Minute Quickstart Guide</a>!</p>
EOT;
*/
echo <<<EOT
<h2>Current Rankings</h2>
<p>The rankings are currently frozen until release of the final results.
Release of the final results is currently scheduled to take place at 6:00pm
(Central Standard Time; server time as seen in the game listings).</p>
EOT;

echo getRankingsTableString(1, false, 100, "");
Expand Down
3 changes: 3 additions & 0 deletions planet_wars/www/rankings_widget.php
Original file line number Diff line number Diff line change
Expand Up @@ -37,10 +37,13 @@ function getRankingsTableString($user_id, $viewmore = true, $viewresults = 10, $

$filter_text = ($filter == NULL)?"":"and $filter = '$filterparam'";

/*
$leaderboard_result = mysql_query("SELECT MAX(leaderboard_id) as id
FROM leaderboards where complete=1");
$row = mysql_fetch_assoc($leaderboard_result);
$leaderboard_id = $row['id'];
*/
$leaderboard_id = 159466;

// Fetch row count
$rowcount_query = <<<EOT
Expand Down

0 comments on commit 2a54d29

Please sign in to comment.