show number of deleted ports in menu

git-svn-id: http://www.observium.org/svn/observer/trunk@1710 61d68cd4-352d-0410-923a-c4978735b2b8
This commit is contained in:
Adam Amstrong
2010-09-21 11:38:02 +00:00
parent 0abf5912a0
commit 16a6047642

View File

@ -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>