GRAPH DOES NOT EXIST"; exit;
}
/* take graph permissions into account here, if the user does not have permission
give an "access denied" message */
if (read_config_option("global_auth") == "on") {
$access_denied = !(is_graph_allowed($_GET["local_graph_id"]));
if ($access_denied == true) {
print "ACCESS DENIED"; exit;
}
}
$rras = get_associated_rras($_GET["local_graph_id"]);
$graph_title = get_graph_title($_GET["local_graph_id"]);
if ((isset($_GET["type"]) ? $_GET["type"] : "") == "tree") {
print "
";
}else{
print "
";
}
print "
Viewing Graph '$graph_title'
";
$i = 0;
if (sizeof($rras) > 0) {
foreach ($rras as $rra) {
print "