From 16a6047642797d798ce0b8de35c4e52daec207e6 Mon Sep 17 00:00:00 2001
From: Adam Amstrong <adama@localhost>
Date: Tue, 21 Sep 2010 11:38:02 +0000
Subject: [PATCH] show number of deleted ports in menu

git-svn-id: http://www.observium.org/svn/observer/trunk@1710 61d68cd4-352d-0410-923a-c4978735b2b8
---
 html/includes/print-menubar.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/includes/print-menubar.php b/html/includes/print-menubar.php
index e603fb229e..d7d0b61e9f 100644
--- a/html/includes/print-menubar.php
+++ b/html/includes/print-menubar.php
@@ -192,7 +192,7 @@ echo('<li><a href="ports/?status=0"><img src="images/16/link_error.png" border="
 <li><a href="ports/admindown/"><img src="images/16/if-disable.png" border="0" align="absmiddle" /> Disabled</a></li>
 <?php
 
-  if($deleted_ports) { echo('<li><a href="ports/deleted/"><img src="images/16/cross.png" border="0" align="absmiddle" /> Deleted</a></li>'); }
+  if($deleted_ports) { echo('<li><a href="ports/deleted/"><img src="images/16/cross.png" border="0" align="absmiddle" /> Deleted ('.$deleted_ports.')</a></li>'); }
 
 ?>
 </ul></td></tr></table>