$v)
{
if($v=="G") // Right == Group
$_SESSION['CVS'][$k] = $_SESSION['CVS_Group'][$k];
}
}
//pagename ermitteln
$Page["Name"] = substr( $_SERVER['PHP_SELF'], strlen($ENGEL_ROOT) );
//recht für diese seite auslesen
if( isset( $_SESSION['CVS'][ $Page["Name"] ]))
$Page["CVS"] = $_SESSION['CVS'][ $Page["Name"] ];
else
{
echo "SYSTEM ERROR: now right for ". $Page["Name"]. "exist";
die;
}
if( $DEBUG )
{
// foreach( $_SESSION as $k => $v)
// echo "$k = $v
\n";
echo "\$_SESSION:\n";
print_r($_SESSION);
echo "
";
if( strlen($Page["CVS"]) == 0 )
echo " CVS ERROR, on page '". $Page["Name"]. "'
";
else
echo "CVS: ". $Page["Name"]. " => '". $Page["CVS"]. "'
";
}
?>