2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-05-12 20:09:10 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								$service_alerts  =  dbFetchCell ( " SELECT COUNT(service_id) FROM services WHERE service_status = '0' " );  
						 
					
						
							
								
									
										
										
										
											2011-05-17 19:21:20 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								$if_alerts       =  dbFetchCell ( " SELECT COUNT(interface_id) FROM `ports` WHERE `ifOperStatus` = 'down' AND `ifAdminStatus` = 'up' AND `ignore` = '0' " );  
						 
					
						
							
								
									
										
										
										
											2011-05-12 20:09:10 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								$device_alerts   =  " 0 " ;  
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								$device_alert_sql  =  " WHERE 0 " ;  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-07-27 20:49:31 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( isset ( $config [ 'enable_bgp' ])  &&  $config [ 'enable_bgp' ])  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2011-05-12 20:09:10 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  $bgp_alerts  =  dbFetchCell ( " SELECT COUNT(*) FROM bgpPeers AS B where (bgpPeerAdminStatus = 'start' OR bgpPeerAdminStatus = 'running') AND bgpPeerState != 'established' " ); 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-27 20:49:31 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-05-12 20:09:10 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								foreach  ( dbFetchRows ( " SELECT * FROM `devices` " )  as  $device )  
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  $this_alert  =  0 ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $device [ 'status' ]  ==  0  &&  $device [ 'ignore' ]  ==  '0' )  {  $this_alert  =  " 1 " ;  }  elseif  ( $device [ 'ignore' ]  ==  '0' ) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
									
										
										
										
											2011-05-17 19:21:20 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  ## sluggish. maybe we cache this at poll-time?
 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								#    if (dbFetchCell("SELECT count(service_id) FROM services WHERE service_status = '0' AND device_id = ?", array($device['device_id']))) { $this_alert = "1"; }
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								#    if (dbFetchCell("SELECT count(*) FROM ports WHERE `ifOperStatus` = 'down' AND `ifAdminStatus` = 'up' AND device_id = ? AND `ignore` = '0'", array($device['device_id']))) { $this_alert = "1"; }
  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  if  ( $this_alert ) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								   $device_alerts ++ ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								   $device_alert_sql  .=  "  OR `device_id` = ' "  .  $device [ 'device_id' ]  .  " ' " ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< div  class = " menu2 " >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ul >  
						 
					
						
							
								
									
										
										
										
											2010-06-12 16:48:53 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< li >< a  class = " menu2four "  href = " overview/ " >< img  src = " images/16/lightbulb.png "  border = " 0 "  align = " absmiddle "  />  Overview </ a >  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < table >< tr >< td > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ? php  if  ( isset ( $config [ 'enable_map' ])  &&  $config [ 'enable_map' ])  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          echo ( '<li><a href="map/"><img src="images/16/map.png" border="0" align="absmiddle" /> Network Map</a></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        }  ?> 
 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " eventlog/ " >< img  src = " images/16/report.png "  border = " 0 "  align = " absmiddle "  />  Eventlog </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  < ? php  if  ( isset ( $config [ 'enable_syslog' ])  &&  $config [ 'enable_syslog' ])  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      echo ( '<li><a href="syslog/"><img src="images/16/page.png" border="0" align="absmiddle" /> Syslog</a></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  }  ?> 
 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<!--         < li >< a  href = " alerts/ " >< img  src = " images/16/exclamation.png "  border = " 0 "  align = " absmiddle "  />  Alerts </ a ></ li >  -->  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " inventory/ " >< img  src = " images/16/bricks.png "  border = " 0 "  align = " absmiddle "  />  Inventory </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ td ></ tr ></ table > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</ li >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</ ul >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ul >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< li >< a  class = " menu2four "  href = " devices/ " >< img  src = " images/16/server.png "  border = " 0 "  align = " absmiddle "  />  Devices </ a >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < table >< tr >< td > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " devices/ " >< img  src = " images/16/server.png "  border = " 0 "  align = " absmiddle "  />  All  Devices </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< hr  width = " 140 "  /></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-30 17:05:25 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
									
										
										
										
											2010-07-30 17:05:25 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								foreach  ( $config [ 'device_types' ]  as  $devtype )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2010-11-20 14:04:07 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  echo ( '        <li><a href="devices/'  .  $devtype [ 'type' ]  .  '/"><img src="images/icons/'  .  $devtype [ 'icon' ]  .  '" border="0" align="absmiddle" /> '  .  $devtype [ 'text' ]  .  '</a></li>' ); 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-30 17:05:25 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< hr  width = " 140 "  /></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " devices/alerted/ " >< img  src = " images/icons/alerts.png "  border = " 0 "  align = " absmiddle "  />  Alerts  ( < ? php  echo ( $device_alerts )  ?> )</a></li>
 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								if  ( $_SESSION [ 'userlevel' ]  >=  '10' )  {  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo ( ' 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< hr  width = " 140 "  /></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " addhost/ " >< img  src = " images/16/server_add.png "  border = " 0 "  align = " absmiddle "  />  Add  Device </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " delhost/ " >< img  src = " images/16/server_delete.png "  border = " 0 "  align = " absmiddle "  />  Delete  Device </ a ></ li > ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ td ></ tr ></ table > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</ li >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								## Display Services entry if $config['show_services']
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								if  ( ! isset ( $config [ 'show_services' ])  ||  $config [ 'show_services' ])  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< li >< a  class = " menu2four "  href = " services/ " >< img  src = " images/16/cog.png "  border = " 0 "  align = " absmiddle "  />  Services </ a >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < table >< tr >< td > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " services/ " >< img  src = " images/16/cog.png "  border = " 0 "  align = " absmiddle "  />  All  Services  </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  if  ( $service_alerts )  {  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								echo ( '   < li >< hr  width = 140  /></ li >  
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " services/?status=0 " >< img  src = " images/16/cog_error.png "  border = " 0 "  align = " absmiddle "  />  Alerts  ( '.$service_alerts.' ) </ a ></ li > ' ); 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								}  ?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								if  ( $_SESSION [ 'userlevel' ]  >=  '10' )  {  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo ( ' 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< hr  width = " 140 "  /></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " addsrv/ " >< img  src = " images/16/cog_add.png "  border = " 0 "  align = " absmiddle "  />  Add  Service </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " delsrv/ " >< img  src = " images/16/cog_delete.png "  border = " 0 "  align = " absmiddle "  />  Delete  Service </ a ></ li > ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ td ></ tr ></ table > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</ li >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								## Display Locations entry if $config['show_locations']
  
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $config [ 'show_locations' ])  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2010-07-02 10:28:27 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< li >< a  class = " menu2four "  href = " locations/ " >< img  src = " images/16/building.png "  border = " 0 "  align = " absmiddle "  />  Locations </ a >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $config [ 'show_locations_dropdown' ]) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < table >< tr >< td > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    foreach  ( getlocations ()  as  $location ) 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-02 10:28:27 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    { 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								      echo ( '        <li><a href="?page=devices&location='  .  urlencode ( $location )  .  '"><img src="images/16/building.png" border="0" align="absmiddle" /> '  .  $location  .  ' </a></li>' ); 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-02 10:28:27 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ td ></ tr ></ table > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</ li >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-02-20 17:22:22 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< li >< a  class = " menu2four "  href = " ports/ " >< img  src = " images/16/connect.png "  border = " 0 "  align = " absmiddle "  />  Ports </ a >  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< table >< tr >< td >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ul > 
							 
						 
					
						
							
								
									
										
										
										
											2010-02-20 17:22:22 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< li >< a  href = " ports/ " >< img  src = " images/16/connect.png "  border = " 0 "  align = " absmiddle "  />  All  Ports </ a ></ li >  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $ports [ 'errored' ])  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2010-02-20 17:22:22 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  echo ( '<li><a href="ports/errors/"><img src="images/16/chart_curve_error.png" border="0" align="absmiddle" /> Errored (' . $ports [ 'errored' ] . ')</a></li>' ); 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $ports [ 'ignored' ])  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2010-02-25 22:23:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  echo ( '<li><a href="ports/ignored/"><img src="images/16/chart_curve_link.png" border="0" align="absmiddle" /> Ignored (' . $ports [ 'ignored' ] . ')</a></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-05-01 16:58:44 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $config [ 'enable_billing' ])  {  echo ( '<li><a href="bills/"><img src="images/16/money.png" border="0" align="absmiddle" /> Traffic Bills</a></li>' );  $ifbreak  =  1 ;  }  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-03-16 18:28:52 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $config [ 'enable_pseudowires' ])  {  echo ( '<li><a href="pseudowires/"><img src="images/16/arrow_switch.png" border="0" align="absmiddle" /> Pseudowires</a></li>' );  $ifbreak  =  1 ;  }  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $_SESSION [ 'userlevel' ]  >=  '5' )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  echo ( '<li><hr width="140" /></li>' ); 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-16 18:28:52 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  if  ( $config [ 'int_customers' ])  {  echo ( '<li><a href="customers/"><img src="images/16/group_link.png" border="0" align="absmiddle" /> Customers</a></li>' );  $ifbreak  =  1 ;  } 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  if  ( $config [ 'int_l2tp' ])  {  echo ( '<li><a href="iftype/l2tp/"><img src="images/16/user.png" border="0" align="absmiddle" /> L2TP</a></li>' );  $ifbreak  =  1 ;  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $config [ 'int_transit' ])  {  echo ( '<li><a href="iftype/transit/"><img src="images/16/lorry_link.png" border="0" align="absmiddle" /> Transit</a></li>' );   $ifbreak  =  1 ;  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $config [ 'int_peering' ])  {  echo ( '<li><a href="iftype/peering/"><img src="images/16/bug_link.png" border="0" align="absmiddle" /> Peering</a></li>' );  $ifbreak  =  1 ;  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $config [ 'int_peering' ]  &&  $config [ 'int_transit' ])  {  echo ( '<li><a href="iftype/peering,transit/"><img src="images/16/world_link.png" border="0" align="absmiddle" /> Peering + Transit</a></li>' );  $ifbreak  =  1 ;  } 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-16 18:28:52 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  if  ( $config [ 'int_core' ])  {  echo ( '<li><a href="iftype/core/"><img src="images/16/brick_link.png" border="0" align="absmiddle" /> Core</a></li>' );  $ifbreak  =  1 ;  } 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								if  ( $ifbreak )  {  echo ( '<li><hr width="140" /></li>' );  }  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( isset ( $interface_alerts ))  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo ( '<li><a href="ports/?status=0"><img src="images/16/link_error.png" border="0" align="absmiddle" /> Alerts (' . $interface_alerts . ')</a></li>' ); 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								$deleted_ports  =  0 ;  
						 
					
						
							
								
									
										
										
										
											2011-05-12 20:09:10 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								foreach  ( dbFetchRows ( " SELECT * FROM `ports` AS P, `devices` as D WHERE P.`deleted` = '1' AND D.device_id = P.device_id " )  as  $interface )  
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2011-03-16 18:28:52 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  if  ( port_permitted ( $interface [ 'interface_id' ],  $interface [ 'device_id' ])) 
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    $deleted_ports ++ ; 
							 
						 
					
						
							
								
									
										
										
										
											2010-04-24 22:58:36 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-02-20 17:22:22 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< li >< a  href = " ports/down/ " >< img  src = " images/16/if-disconnect.png "  border = " 0 "  align = " absmiddle "  />  Down </ a ></ li >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< li >< a  href = " ports/admindown/ " >< img  src = " images/16/if-disable.png "  border = " 0 "  align = " absmiddle "  />  Disabled </ a ></ li >  
						 
					
						
							
								
									
										
										
										
											2010-06-10 19:47:50 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
									
										
										
										
											2010-04-24 22:58:36 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-03-16 18:28:52 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $deleted_ports )  {  echo ( '<li><a href="ports/deleted/"><img src="images/16/cross.png" border="0" align="absmiddle" /> Deleted (' . $deleted_ports . ')</a></li>' );  }  
						 
					
						
							
								
									
										
										
										
											2010-04-24 22:58:36 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								</ ul ></ td ></ tr ></ table >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								</ li >  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-21 10:37:23 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								# FIXME does not check user permissions...
  
						 
					
						
							
								
									
										
										
										
											2011-05-12 20:09:10 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								foreach  ( dbFetchRows ( " SELECT sensor_class,COUNT(sensor_id) AS c FROM sensors GROUP BY sensor_class ORDER BY sensor_class  " )  as  $row )  
						 
					
						
							
								
									
										
										
										
											2011-04-21 10:37:23 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  $used_sensors [ $row [ 'sensor_class' ]]  =  $row [ 'c' ]; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								# Copy the variable so we can use $used_sensors later in other parts of the code
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								$menu_sensors  =  $used_sensors ;  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
									
										
										
										
											2010-02-11 23:37:41 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-04-11 13:45:19 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< li >< a  class = " menu2four "  href = " health/ " >< img  src = " images/icons/sensors.png "  border = " 0 "  align = " absmiddle "  />  Health  
						 
					
						
							
								
									
										
										
										
											2010-02-11 22:22:42 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<!-- [ if  IE  7 ] ><!--></ a ><!--<! [ endif ] -->  
						 
					
						
							
								
									
										
										
										
											2010-02-09 16:36:06 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < table >< tr >< td > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ul > 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-13 14:19:49 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " health/mempool/ " >< img  src = " images/icons/memory.png "  border = " 0 "  align = " absmiddle "  />  Memory </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-21 10:37:23 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " health/processor/ " >< img  src = " images/icons/processor.png "  border = " 0 "  align = " absmiddle "  />  Processor </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-04-11 13:45:19 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " health/storage/ " >< img  src = " images/icons/storage.png "  border = " 0 "  align = " absmiddle "  />  Storage </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-21 10:37:23 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								if  ( $menu_sensors )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  $sep  =  0 ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo ( '<li><hr width="140" /></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								foreach  ( array ( 'fanspeed' , 'humidity' , 'temperature' )  as  $item )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $menu_sensors [ $item ]) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    echo  ( '<li><a href="health/' . $item . '/"><img src="images/icons/' . $item . '.png" border="0" align="absmiddle" /> ' . ucfirst ( $item ) . '</a></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    unset ( $menu_sensors [ $item ]); $sep ++ ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								if  ( $sep )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo ( '<li><hr width="140" /></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  $sep  =  0 ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								foreach  ( array ( 'current' , 'frequency' , 'power' , 'voltage' )  as  $item )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $menu_sensors [ $item ]) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    echo  ( '<li><a href="health/' . $item . '/"><img src="images/icons/' . $item . '.png" border="0" align="absmiddle" /> ' . ucfirst ( $item ) . '</a></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    unset ( $menu_sensors [ $item ]); $sep ++ ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-21 12:56:25 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								# Show remaining/custom sensor types if there are any in the database
  
						 
					
						
							
								
									
										
										
										
											2011-04-27 14:29:11 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $menu_sensors  &&  $sep )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo ( '<li><hr width="140" /></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  $sep  =  0 ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								foreach  ( array_keys ( $menu_sensors )  as  $item )  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo  ( '<li><a href="health/' . $item . '/"><img src="images/icons/' . $item . '.png" border="0" align="absmiddle" /> ' . ucfirst ( $item ) . '</a></li>' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  unset ( $menu_sensors [ $item ]); $sep ++ ; 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
									
										
										
										
											2011-04-21 10:37:23 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
									
										
										
										
											2010-02-09 16:36:06 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        </ ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ td ></ tr ></ table > 
							 
						 
					
						
							
								
									
										
										
										
											2010-02-11 22:22:42 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<!-- [ if  lte  IE  6 ] ></ a ><! [ endif ] -->  
						 
					
						
							
								
									
										
										
										
											2010-02-09 16:36:06 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								</ li >  
						 
					
						
							
								
									
										
										
										
											2010-02-11 23:37:41 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-02-14 01:12:49 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<!--  < li >< a  class = " menu2four "  href = " inventory/ " >< img  src = " images/16/bricks.png "  border = " 0 "  align = " absmiddle "  />  Inventory </ a ></ li >  -->  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								< ? php  
						 
					
						
							
								
									
										
										
										
											2011-04-30 22:20:11 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-05-12 20:09:10 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								$routing_count [ 'bgp' ]   =  dbFetchCell ( " SELECT COUNT(*) from `bgpPeers` " );  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								$routing_count [ 'ospf' ]  =  dbFetchCell ( " SELECT COUNT(*) FROM `ospf_instances` WHERE `ospfAdminStat` = 'enabled' " );  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								$routing_count [ 'cef' ]   =  dbFetchCell ( " SELECT COUNT(*) from `cef_switching` " );  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								$routing_count [ 'vrf' ]   =  dbFetchCell ( " SELECT COUNT(*) from `vrfs` " );  
						 
					
						
							
								
									
										
										
										
											2011-04-30 22:20:11 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-05-05 14:23:09 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								if  ( $_SESSION [ 'userlevel' ]  >=  '5'  &&  ( $routing_count [ 'bgp' ] + $routing_count [ 'ospf' ] + $routing_count [ 'cef' ] + $routing_count [ 'vrf' ])  >  " 0 " )  
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								{  
						 
					
						
							
								
									
										
										
										
											2011-04-17 12:00:13 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    echo ( ' 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-24 00:28:09 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								      < li >< a  class = " menu2four "  href = " routing/ " >< img  src = " images/16/arrow_branch.png "  border = " 0 "  align = " absmiddle "  />  Routing </ a > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < table >< tr >< td > 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-17 12:00:13 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < ul > ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-30 22:20:11 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  if  ( $_SESSION [ 'userlevel' ]  >=  '5'  &&  $routing_count [ 'vrf' ])  {  echo ( '<li><a href="routing/vrf/"><img src="images/16/layers.png" border="0" align="absmiddle" /> VRFs</a></li> <li><hr width=140></li> ' );  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $_SESSION [ 'userlevel' ]  >=  '5'  &&  $routing_count [ 'ospf' ]) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    echo ( ' 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " routing/ospf/all/nographs/ " >< img  src = " images/16/text_letter_omega.png "  border = " 0 "  align = " absmiddle "  />  OSPF  Devices  </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< hr  width = 140 ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-28 14:20:17 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-17 15:55:38 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  ## BGP Sessions
 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-30 22:20:11 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  if  ( $_SESSION [ 'userlevel' ]  >=  '5'  &&  $routing_count [ 'bgp' ]) 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-17 12:00:13 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    echo ( ' 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-18 11:28:42 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " routing/bgp/all/nographs/ " >< img  src = " images/16/link.png "  border = " 0 "  align = " absmiddle "  />  BGP  All  Sessions  </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-18 11:28:42 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " routing/bgp/external/nographs/ " >< img  src = " images/16/world_link.png "  border = " 0 "  align = " absmiddle "  />  BGP  External </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " routing/bgp/internal/nographs/ " >< img  src = " images/16/brick_link.png "  border = " 0 "  align = " absmiddle "  />  BGP  Internal </ a ></ li > ' ); 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-17 12:00:13 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-17 12:00:13 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  ## Do Alerts at the bottom
 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  if  ( $bgp_alerts ) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    echo ( ' 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-28 09:14:27 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< hr  width = 140 ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " routing/bgp/alerts/ " >< img  src = " images/16/link_error.png "  border = " 0 "  align = " absmiddle "  />  Alerted  BGP  ( ' . $bgp_alerts . ' ) </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-17 12:00:13 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								   ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  } 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  echo ( '       </ ul > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        </ td ></ tr ></ table > 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-17 12:00:13 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    </ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								}  
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								?> 
  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2011-04-29 23:09:35 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< li >< a  class = " menu2four "  href = " search/ " >< img  src = " images/16/find.png "  border = " 0 "  align = " absmiddle "  />  Search  
						 
					
						
							
								
									
										
										
										
											2011-04-24 00:28:09 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<!-- [ if  IE  7 ] ><!--></ a ><!--<! [ endif ] -->  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < table >< tr >< td > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < ul > 
							 
						 
					
						
							
								
									
										
										
										
											2011-05-05 13:04:38 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          < li >< a  href = " search/ipv4/ " >< img  src = " images/icons/ipv4.png "  border = " 0 "  align = " absmiddle "  />  IPv4  Search </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								          < li >< a  href = " search/ipv6/ " >< img  src = " images/icons/ipv6.png "  border = " 0 "  align = " absmiddle "  />  IPv6  Search </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2011-04-24 00:28:09 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								          < li >< a  href = " search/mac/ " >< img  src = " images/16/email_link.png "  border = " 0 "  align = " absmiddle "  />  MAC  Search </ a ></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        </ ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      </ td ></ tr ></ table > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    </ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								< li  style = " float: right; " >< a >< img  src = " images/16/wrench.png "  border = " 0 "  align = " absmiddle "  />  System  
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								<!-- [ if  IE  7 ] ><!--></ a ><!--<! [ endif ] -->  
						 
					
						
							
								
									
										
										
										
											2010-06-14 15:25:49 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								  < table >< tr >< td > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    < ul > 
							 
						 
					
						
							
								
									
										
										
										
											2010-06-14 15:25:49 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								     < li >< a  href = " about/ " >< img  src = " images/16/information.png "  border = " 0 "  align = " absmiddle "  />  About </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-10 12:31:19 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								     < ? php  if  ( $_SESSION [ 'userlevel' ]  >=  '10' )  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      echo ( ' 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< hr  width = " 140 "  /></ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								        < li >< a  href = " settings/ " >< img  src = " images/16/wrench.png "  border = " 0 "  align = " absmiddle "  />  Global  Settings </ a ></ li > ' ); 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-10 12:39:42 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        } 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-10 12:31:19 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								     ?> 
 
							 
						 
					
						
							
								
									
										
										
										
											2010-06-14 15:25:49 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								     < li >< hr  width = " 140 "  /></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-07-10 12:31:19 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								      < li >< a  href = " preferences/ " >< img  src = " images/16/wrench_orange.png "  border = " 0 "  align = " absmiddle "  />  My  Settings </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    < ? php  if  ( $_SESSION [ 'userlevel' ]  >=  '10' )  { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      echo ( ' 
							 
						 
					
						
							
								
									
										
										
										
											2010-03-06 01:10:05 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< hr  width = " 140 "  /></ li > ' ); 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-12 08:50:47 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2010-03-06 01:10:05 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								      if  ( auth_usermanagement ()) 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      { 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      echo ( ' 
							 
						 
					
						
							
								
									
										
										
										
											2011-03-31 17:19:54 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " adduser/ " >< img  src = " images/16/user_add.png "  border = " 0 "  align = " absmiddle "  />  Add  User </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-03-06 01:10:05 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " deluser/ " >< img  src = " images/16/user_delete.png "  border = " 0 "  align = " absmiddle "  />  Remove  User </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " ?page=edituser " >< img  src = " images/16/user_edit.png "  border = " 0 "  align = " absmiddle "  />  Edit  User </ a ></ li > 
							 
						 
					
						
							
								
									
										
										
										
											2010-03-06 01:10:05 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< hr  width = " 140 "  /></ li > ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      } 
							 
						 
					
						
							
								
									
										
										
										
											2010-11-20 14:04:07 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								      echo ( ' 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        < li >< a  href = " authlog/ " >< img  src = " images/16/lock.png "  border = " 0 "  align = " absmiddle "  />  Authlog </ a ></ li > ' ); 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								    }  ?> 
 
							 
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								        </ ul > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								      </ td ></ tr ></ table > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								<!-- [ if  lte  IE  6 ] ></ a ><! [ endif ] -->  
						 
					
						
							
								
									
										
										
										
											2010-12-03 15:56:57 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								    </ li > 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								  </ ul > 
							 
						 
					
						
							
								
									
										
										
										
											2010-01-28 17:47:48 +00:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								</ div >