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> " );
# }
?>