2007-06-24 15:46:47 +00:00
< ?
echo ( " <div style='font-family: courier, serif; margin: 10px';><strong> " . $device [ 'sysDescr' ] . " </strong></div> " );
2007-06-24 16:45:18 +00:00
$uptime = @ mysql_result ( mysql_query ( " SELECT `attrib_value` FROM `devices_attribs` WHERE `device_id` = ' " . $device [ 'device_id' ] . " ' AND `attrib_type` = 'uptime' " ), 0 );
2007-06-24 15:46:47 +00:00
# if(strtolower($device['os']) == "ios") {
echo ( "
< table width = 100 %>
< tr >
< td class = list - bold > Operating System </ td >
< td > " . $device['os'] . " " . $device['version'] . " ( " . $device['features'] . " ) </ td >
</ tr >
< tr >
< td class = list - bold > Hardware </ td >
< td > " . $device['hardware'] . " </ td >
2007-06-24 16:45:18 +00:00
</ tr > " );
if ( $uptime ) {
echo ( " <tr>
2007-06-24 15:46:47 +00:00
< td class = list - bold > Uptime </ td >
< td > " . formatUptime( $uptime ) . " </ td >
2007-06-24 16:45:18 +00:00
</ tr > " );
}
echo ( "
2007-06-24 15:46:47 +00:00
</ table > " );
# }
?>