" . $device['sysDescr'] . ""); $uptime = @mysql_result(mysql_query("SELECT `attrib_value` FROM `devices_attribs` WHERE `device_id` = '" . $device['device_id'] . "' AND `attrib_type` = 'uptime'"), 0); if(is_file("images/devices/" . $device['hardware'] . ".gif")) { $dev_img = "

"; } elseif (is_file("images/devices/" . $device['hardware'] . ".jpg")) { $dev_img = "

"; } else { unset($dev_img); } if ($device['features']) { $device['features'] = "(".$device['features'].")"; } $device['os_text'] = $os_text[$device[os]]; echo("$ddev_img "); if($device['hardware']) {echo(""); } if($device['sysContact']) {echo(""); } if($device['location']) {echo(""); } if($uptime) { echo(""); } echo("

Operating System	" . $device['os_text'] . " " . $device['version'] . " " . $device['features'] . "
Hardware	" . $device['hardware']. "
Contact	" . htmlspecialchars($device['sysContact']). "
Location	" . $device['location']. "
Uptime	" . formatUptime($uptime) . "

"); ?>