<?php
session_start();
$user_ID=$_SESSION[user_ID];
if (!$user_ID || $user_ID=='0')
{
header('location: index.php');
die('Login failed');
}
require("util.php");
$sql = new MySQL_class;
$sql->Create("generator");
$esql = new MySQL_class;
$esql->Create("generator");
if ($_GET[DatabaseID]) { $_SESSION[var_DatabaseID] = $_GET[DatabaseID]; }
if ($_GET[TableID]) { $_SESSION[var_TableID] = $_GET[TableID]; }
if ($_GET[user]) { $_SESSION[var_user] = $_GET[user]; }
if ($_GET[SheetID]) { $_SESSION[var_SheetID] = $_GET[SheetID]; }
$DatabaseID=$_SESSION[var_DatabaseID];
$TableID=$_SESSION[var_TableID];
$user=$_SESSION[var_user];
$SheetID=$_SESSION[var_SheetID];
?>
<html>
<head>
<link href="list.css" type="text/css" rel=stylesheet>
<meta content="text/css" http-equiv="Content-Style-Type">
<title>Screen generator Scherm: Menu</title>
</head>
<script type="text/javascript" src="handlers.js" language="JavaScript">
alert ("no code");
</script>
<body class="menu">
array("Projects","rights_projects.php",array()),
array("Current project","rights_project.php",array()),
array("Table","rights_table.php",array()),
array("Sheet","rights_sheet.php",array()),
array("Users","rights_users.php",array()),
array("Logoff","rights_projects.php",array()),
</body>
</html>