From c5666c1999629af385a6d0d93de790e61afbdefb Mon Sep 17 00:00:00 2001 From: Pascal Terjan Date: Sat, 20 Aug 2022 09:58:36 +0000 Subject: Hide the filter section when the run doesn't have attributes This happens while it hasn't completed or been processed yet. --- autobuild/results.php | 38 ++++++++++++++++++++------------------ 1 file 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 "Removed$nb_removed\n"; echo "Unchanged$nb_still_broken\n"; echo "\n"; echo "
If no new package was broken, success rate next time should be $estimated_percent%.\n"; -echo "

Filters

\n"; -echo "
\n"; -if ($_GET["run"]) { - echo "\n"; -} $all_attrs = get_all_attributes(); $filters = Array(); -foreach ($all_attrs as $attr_type => $attrs) { - echo "$attr_type: "; - $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 "

Filters

\n"; + echo "\n"; + if ($_GET["run"]) { + echo "\n"; + } + foreach ($all_attrs as $attr_type => $attrs) { + echo "$attr_type: "; + $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 "$attr\n"; } - echo "$attr\n"; + echo "
\n"; } - echo "
\n"; + echo "\n"; + echo "
"; } -echo "\n"; -echo ""; echo "

Failed builds ($nb_failed/$nb_tried)

\n"; echo "\n"; echo "\n"; -- cgit v1.2.1
StatusFailure typeBuild stepLanguagesDetected errors