Hide the filter section when the run doesn't have attributes

This happens while it hasn't completed or been processed yet.

1 files changed, 20 insertions, 18 deletions

diff --git a/autobuild/results.php b/autobuild/results.php
index 11bbd59..6d6d090 100644
--- a/autobuild/results.php
+++ b/autobuild/results.php
@@ -277,29 +277,31 @@ echo "<tr><td>Removed</td><td>$nb_removed</td></tr>\n";
 echo "<tr><td>Unchanged</td><td>$nb_still_broken</td></tr>\n";
 echo "</table>\n";
 echo "<br />If no new package was broken, success rate next time should be $estimated_percent%.\n";
-echo "<h2>Filters</h2>\n";
-echo "<form action=\"" . $_SERVER["PHP_SELF"] . "\" method=\"get\">\n";
-if ($_GET["run"]) {
-	echo "<input type=\"hidden\" name=\"run\" value=\"" . $_GET["run"] . "\" />\n";
-}
 $all_attrs = get_all_attributes();
 $filters = Array();
-foreach ($all_attrs as $attr_type => $attrs) {
-	echo "<b>$attr_type: </b>";
-	$filters[$attr_type] = Array();
-	foreach ($attrs as $attr) {
-		if ($_GET["attr_$attr_type_$attr"]) {
-			$checked = "checked";
-			array_push($filters[$attr_type], $attr);
-		} else {
-			$checked="";
+if ($all_attrs) {
+	echo "<h2>Filters</h2>\n";
+	echo "<form action=\"" . $_SERVER["PHP_SELF"] . "\" method=\"get\">\n";
+	if ($_GET["run"]) {
+		echo "<input type=\"hidden\" name=\"run\" value=\"" . $_GET["run"] . "\" />\n";
+	}
+	foreach ($all_attrs as $attr_type => $attrs) {
+		echo "<b>$attr_type: </b>";
+		$filters[$attr_type] = Array();
+		foreach ($attrs as $attr) {
+			if ($_GET["attr_$attr_type_$attr"]) {
+				$checked = "checked";
+				array_push($filters[$attr_type], $attr);
+			} else {
+				$checked="";
+			}
+			echo "<input type=\"checkbox\" $checked name=\"attr_$attr_type_$attr\" value=\"1\">$attr</input>\n";
 		}
-		echo "<input type=\"checkbox\" $checked name=\"attr_$attr_type_$attr\" value=\"1\">$attr</input>\n";
+		echo "<br/>\n";
 	}
-	echo "<br/>\n";
+	echo "<input type=\"submit\" value=\"Apply\" />\n";
+	echo "</form>";
 }
-echo "<input type=\"submit\" value=\"Apply\" />\n";
-echo "</form>";
 echo "<h2>Failed builds ($nb_failed/$nb_tried)</h2>\n";
 echo "<table class=\"failureTable\" >\n";
 echo "<tr><th></th><th>Status</th><th>Failure type</th><th>Build step</th><th></th><th>Languages</th><th>Detected errors</th></tr>\n";