diff options
| -rw-r--r-- | autobuild/results.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autobuild/results.php b/autobuild/results.php index b81555c..19af284 100644 --- a/autobuild/results.php +++ b/autobuild/results.php @@ -311,7 +311,7 @@ $db->close(); ?> </table> <?php -if ($_GET['include_success'] === 'true') { +if (array_key_exists('include_success', $_GET) && $_GET['include_success'] === 'true') { echo "<h2>Successful builds ($nb_success/$nb_tried)</h2>\n<ul>\n"; foreach ($success as $rpm) { $parsed = parse_package($rpm); |