From 36c9f845bf245e064f65e57082ac8cc91ec97859 Mon Sep 17 00:00:00 2001 From: f0o Date: Sun, 12 Apr 2015 15:56:54 +0000 Subject: [PATCH 1/2] Fix missing link to errored or ignored ports --- html/includes/print-menubar.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/html/includes/print-menubar.php b/html/includes/print-menubar.php index af4177417..b5d42438c 100644 --- a/html/includes/print-menubar.php +++ b/html/includes/print-menubar.php @@ -1,4 +1,5 @@ = '10')
  • All Ports
  • Date: Sun, 12 Apr 2015 16:00:09 +0000 Subject: [PATCH 2/2] Fixed menubar condition --- html/includes/print-menubar.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/html/includes/print-menubar.php b/html/includes/print-menubar.php index b5d42438c..6ac12cb7b 100644 --- a/html/includes/print-menubar.php +++ b/html/includes/print-menubar.php @@ -197,12 +197,12 @@ if ($_SESSION['userlevel'] >= '10') 0) { echo('
  • Errored ('.$ports['errored'].')
  • '); } -if (isset($ports['ignored'])) +if ($ports['ignored'] > 0) { echo('
  • Ignored ('.$ports['ignored'].')
  • '); }