'mainmenu.php', 'editdrivers' => 'editdrivers.php', 'editstops' => 'editstops.php', 'editpaddles' => 'editpaddles.php', 'manageconfig' => 'manageconfig.php');
include 'connect.php';
include 'util.php';
header("Expires: Mon, 26 Jul 1997 05:00:00 GMT");
header("Cache-Control: no-cache");
header("Pragma: no-cache");
session_start();
if(array_key_exists('goto',$_REQUEST))
{
$dest=$_REQUEST['goto'];
if(array_key_exists($dest,$okaydest))
{
if( $_SESSION['stops_dirty'] || $_SESSION['drivers_dirty'] || $_SESSION['paddle_dirty'])
{
echo 'You have unsaved changes. Select revert or commit before returning to the main menu.
';
}
else
{
unset($_SESSION['stops']);
unset($_SESSION['drivers']);
unset($_SESSION['paddle']);
unset($_SESSION['paddle_list']);
$_SESSION['page']=$dest;
$_SESSION['pageaddr']=$okaydest[$dest];
redirect('index.php');
}
}
else
{
redirect('index.php');
}
}
if(!isset($_SESSION['page']))
{
$_SESSION['page']='mainmenu';
$_SESSION['pageaddr']=$okaydest['mainmenu'];
}
if(isset($_SESSION['pageaddr']))
{
include $_SESSION['pageaddr'];
}
echo '';
?>