2007-04-03 14:10:23 +00:00
|
|
|
<?php
|
|
|
|
|
2015-04-12 11:22:43 +00:00
|
|
|
include_once($config['install_dir'].'/includes/object-cache.inc.php');
|
|
|
|
|
2012-05-25 12:24:34 +00:00
|
|
|
// FIXME queries such as the one below should probably go into index.php?
|
2011-10-03 15:03:35 +00:00
|
|
|
|
2014-02-23 13:53:56 +10:00
|
|
|
// FIXME: This appears to keep a complete cache of device details in memory for every page load.
|
|
|
|
// It would be interesting to know where this is used. It probably should have its own API.
|
|
|
|
|
2011-10-03 15:03:35 +00:00
|
|
|
foreach (dbFetchRows("SELECT * FROM `devices` ORDER BY `hostname`") as $device)
|
2011-10-03 13:40:37 +00:00
|
|
|
{
|
|
|
|
if (get_dev_attrib($device,'override_sysLocation_bool'))
|
|
|
|
{
|
|
|
|
$device['real_location'] = $device['location'];
|
|
|
|
$device['location'] = get_dev_attrib($device,'override_sysLocation_string');
|
|
|
|
}
|
2011-10-04 09:10:21 +00:00
|
|
|
|
2011-10-03 13:40:37 +00:00
|
|
|
$cache['devices']['hostname'][$device['hostname']] = $device['device_id'];
|
|
|
|
$cache['devices']['id'][$device['device_id']] = $device;
|
2012-04-05 16:48:06 +00:00
|
|
|
|
2012-01-19 10:35:27 +00:00
|
|
|
$cache['device_types'][$device['type']]++;
|
2011-10-03 13:40:37 +00:00
|
|
|
}
|
2011-10-04 09:10:21 +00:00
|
|
|
|
2015-04-12 11:22:43 +00:00
|
|
|
$devices = new ObjCache('devices');
|
|
|
|
$ports = new ObjCache('ports');
|
|
|
|
$services = new ObjCache('services');
|
2007-11-21 14:26:24 +00:00
|
|
|
|
2011-03-16 18:28:52 +00:00
|
|
|
if ($devices['down']) { $devices['bgcolour'] = "#ffcccc"; } else { $devices['bgcolour'] = "transparent"; }
|
|
|
|
if ($ports['down']) { $ports['bgcolour'] = "#ffcccc"; } else { $ports['bgcolour'] = "#e5e5e5"; }
|
|
|
|
if ($services['down']) { $services['bgcolour'] = "#ffcccc"; } else { $services['bgcolour'] = "transparent"; }
|
2007-04-03 14:10:23 +00:00
|
|
|
|
|
|
|
?>
|