"5") { include("includes/edit-host.inc"); } } $device = mysql_fetch_array(mysql_query("SELECT * FROM `devices` WHERE `id` = '$_GET[id]'")); $descr = $device['purpose']; if($updated) { print_message("Device Settings Saved"); } if($device['type'] == 'server') { $server_select = "selected"; } if($device['type'] == 'network') { $network_select = "selected"; } if($device['type'] == 'firewall') { $firewall_select = "selected"; } if($device['type'] == 'workstation') { $workstation_select = "selected"; } if($device['type'] == 'other') { $other_select = "selected"; } echo("

Edit Device

"); echo("

"); }