diff --git a/html/includes/print-menubar.php b/html/includes/print-menubar.php index af4177417e..6ac12cb7b8 100644 --- a/html/includes/print-menubar.php +++ b/html/includes/print-menubar.php @@ -1,4 +1,5 @@ = '10')
  • All Ports
  • 0) { echo('
  • Errored ('.$ports['errored'].')
  • '); } -if (isset($ports['ignored'])) +if ($ports['ignored'] > 0) { echo('
  • Ignored ('.$ports['ignored'].')
  • '); }