From 545ee6bc2569ba554909a8fbc89bffc4542fcbbb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20Schro=CC=88der?= <schteffens@gmail.com>
Date: Thu, 17 Jul 2014 20:01:48 +0200
Subject: [PATCH] added fixme tag

---
 application/core/Server/RankingManager.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/application/core/Server/RankingManager.php b/application/core/Server/RankingManager.php
index e6014ae8..bca182fb 100644
--- a/application/core/Server/RankingManager.php
+++ b/application/core/Server/RankingManager.php
@@ -114,6 +114,7 @@ class RankingManager implements CallbackListener {
 			if ($prev !== -1 && $prev < $score) {
 				return $leaders;
 			}
+			// FIXME: $leader doesn't exist
 			array_push($leaders, $leader);
 			$prev = $score;
 		}