added fixme tag

2014-07-17 20:01:48 +02:00 · 2014-07-17 20:01:48 +02:00 · 545ee6bc25
commit 545ee6bc25
parent 6d941a5772
1 changed files with 1 additions and 0 deletions
--- 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;
 		}