Fix coding style part 2

This commit is contained in:
Job Snijders
2015-07-13 20:10:26 +02:00
parent ad9590df9b
commit d8693f05ae
733 changed files with 37359 additions and 33947 deletions

View File

@ -1,32 +1,43 @@
<?php
include_once($config['install_dir'].'/includes/object-cache.inc.php');
require_once $config['install_dir'].'/includes/object-cache.inc.php';
// FIXME queries such as the one below should probably go into index.php?
// 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.
foreach (dbFetchRows('SELECT * FROM `devices` ORDER BY `hostname`') as $device) {
if (get_dev_attrib($device, 'override_sysLocation_bool')) {
$device['real_location'] = $device['location'];
$device['location'] = get_dev_attrib($device, 'override_sysLocation_string');
}
foreach (dbFetchRows("SELECT * FROM `devices` ORDER BY `hostname`") as $device)
{
if (get_dev_attrib($device,'override_sysLocation_bool'))
{
$device['real_location'] = $device['location'];
$device['location'] = get_dev_attrib($device,'override_sysLocation_string');
}
$cache['devices']['hostname'][$device['hostname']] = $device['device_id'];
$cache['devices']['id'][$device['device_id']] = $device;
$cache['devices']['hostname'][$device['hostname']] = $device['device_id'];
$cache['devices']['id'][$device['device_id']] = $device;
$cache['device_types'][$device['type']]++;
$cache['device_types'][$device['type']]++;
}
$devices = new ObjCache('devices');
$ports = new ObjCache('ports');
$services = new ObjCache('services');
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"; }
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';
}