1 files changed, 21 insertions, 9 deletions

diff --git a/web/getstats/rankings.js b/web/getstats/rankings.js
index bda3eed..87e73ac 100644
--- a/web/getstats/rankings.js
+++ b/web/getstats/rankings.js
@@ -1,3 +1,7 @@
+// --- BEGIN Global variables -----------------------------------
+var maxsize = null; // Maximum number of benchmarks in a ranking
+// --- END Global variables -------------------------------------
+
 function selectRankingTable() {
     var val = $("#select_rankingTable").attr("value");
     var types = ["qs", "lcssr", "lcssi", "lcss1r", "lcss1i"];
@@ -8,7 +12,9 @@ function selectRankingTable() {
     }
 
     var nrows = $("#rankingTable_" + val).find("tr").length - 1;
-    $("#rankingTable_nrows").text(nrows + ((nrows == 1) ? " row" : " rows"));
+    $("#rankingTable_nrows").text(
+        nrows + ((nrows == 1) ? " row" : " rows") +
+            " (limit: " + (maxsize < 0 ? "unlimited" : maxsize) + ")");
 }
 
 function populateRankingTable(
@@ -55,7 +61,7 @@ function populateRankingTable(
     $(tableSel + " > tbody:last").append(html);
 }
 
-function fetchRankings(database, host, platform, branch, sha1) {
+function fetchRankings(database, host, platform, branch, sha1, maxsize) {
     updateStatus("fetching rankings ...", true);
 
     query = "?db=" + database +
@@ -63,7 +69,8 @@ function fetchRankings(database, host, platform, branch, sha1) {
         "&host=" + encodeURIComponent(host) +
         "&platform=" + encodeURIComponent(platform) +
         "&branch=" + encodeURIComponent(branch) +
-        "&sha1=" + sha1;
+        "&sha1=" + sha1 +
+        "&maxsize=" + maxsize;
 
     url = "http://" + location.host + "/cgi-bin/getstatswrapper" + query;
     //alert("url: >" + url + "<");
@@ -190,36 +197,41 @@ $(document).ready(function() {
 
     var args = queryStringArgs();
 
-    database = extractArg(args, "db");
+    var database = extractArg(args, "db");
     if (database == "") {
         alert("ERROR: invalid query string (empty database)");
         return;
     }
 
-    host = extractArg(args, "host");
+    var host = extractArg(args, "host");
     if (host == "") {
         alert("ERROR: invalid query string (empty host)");
         return;
     }
-    platform = extractArg(args, "platform");
+    var platform = extractArg(args, "platform");
     if (platform == "") {
         alert("ERROR: invalid query string (empty platform)");
         return;
     }
-    branch = extractArg(args, "branch");
+    var branch = extractArg(args, "branch");
     if (branch == "") {
         alert("ERROR: invalid query string (empty branch)");
         return;
     }
-    sha1 = extractArg(args, "sha1");
+    var sha1 = extractArg(args, "sha1");
     if (sha1 == "") {
         alert("ERROR: invalid query string (empty sha1)");
         return;
     }
+    maxsize = extractArg(args, "maxsize");
+    if (maxsize == "") {
+        alert("ERROR: invalid query string (empty maxsize)");
+        return;
+    }
 
     $("#div_tsbm_border").css("display", "none");
     $("#div_tsbm").css("display", "none");
     $("#div_rankings").css("display", "none");
 
-    fetchRankings(database, host, platform, branch, sha1);
+    fetchRankings(database, host, platform, branch, sha1, maxsize);
 });