'Basic',
);
if (!$_GET['opta']) { $_GET['opta'] = "basic"; }
$sep = "";
foreach ($menu_options as $option => $text)
{
echo($sep);
if ($_GET['opta'] == $option) { echo(""); }
$sep = " | ";
}
unset($sep);
echo(' Graphs: ');
$graph_types = array("bits" => "Bits",
"upkts" => "Unicast Packets",
"nupkts" => "Non-Unicast Packets",
"errors" => "Errors",
"etherlike" => "Etherlike");
foreach ($graph_types as $type => $descr)
{
echo("$type_sep");
if ($_GET['optb'] == $type) { echo(""); }
# echo('(');
# if ($_GET['optb'] == $type) { echo(""); }
# echo(')');
$type_sep = " | ";
}
print_optionbar_end();
echo("");
$i = "0";
$vrf_query = mysql_query("select * from vrfs WHERE device_id = '".$device['device_id']."' ORDER BY 'vrf_name'");
while ($vrf = mysql_fetch_assoc($vrf_query))
{
include("includes/print-vrf.inc.php");
$i++;
}
echo("