Set max ranking size from GUI.

3 files changed, 42 insertions, 10 deletions

diff --git a/web/getstats/index.html b/web/getstats/index.html
index 0d7ec62..ede3ee5 100644
--- a/web/getstats/index.html
+++ b/web/getstats/index.html
@@ -66,7 +66,25 @@
                 "changes in Qt, or because they need to improve their own " +
                 "quality).");
       </script>
-    </td><td></td>
+    </td>
+    <td id="max_rank_size_lead">Maximum size:
+      <select id="max_rank_size" onchange="updateActions()">
+        <option value="5">5</option>
+        <option value="10">10</option>
+        <option value="20">20</option>
+        <option value="50">50</option>
+        <option value="100">100</option>
+        <option value="200">200</option>
+        <option value="500">500</option>
+        <option value="1000">1000</option>
+        <option value="-1">unlimited</option>
+      </select>
+      <script type="text/javascript">
+        setTooltip(
+            $("#max_rank_size_lead"),
+            "The maximum number of benchmarks to show in each ranking.");
+      </script>
+    </td>
   </tr>
   <tr>
     <td style="padding-top:5px; padding-bottom:5px;">
diff --git a/web/getstats/main.js b/web/getstats/main.js
index 3f7ba59..e5a1f65 100644
--- a/web/getstats/main.js
+++ b/web/getstats/main.js
@@ -162,6 +162,7 @@ function updateActions() {
     url_rankings += "&platform=" + encodeURIComponent(context1_["platform"]);
     url_rankings += "&branch=" + encodeURIComponent(context1_["branch"]);
     url_rankings += "&sha1=" + context1_["sha1"];
+    url_rankings += "&maxsize=" + $("#max_rank_size option:selected").val();
     // ### Test case filter unsupported for now:
     //url_rankings += "&testcasefilter=" + testCaseFilter;
 
@@ -514,6 +515,7 @@ $(document).ready(function() {
     fetchContexts();
 
     // Set default action arguments:
+    $("#max_rank_size option[value='10']").attr("selected", true);
     $("#diff_tol option[value='1.1']").attr("selected", true);
     $("#dur_tol_min option[value='3']").attr("selected", true);
     $("#dur_tol_max option[value='50']").attr("selected", true);
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);
 });