| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- <?php
- $sql;
- $okaydest=array('mainmenu' => '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 '<center><h1 style="color: red">You have unsaved changes. Select revert or commit before returning to the main menu.</h1></center>';
- }
- 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 '<div style="background: #E0E0FF;">';
- echo '<table width="80%" align="center"><tr>';
- echo "<td><a href=\"index.php?goto=mainmenu\">Return to Main Menu...</a></td>";
- echo '</tr></table>';
- echo '</div>';
-
- ?>
|