index.php 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. <?php
  2. $sql;
  3. $okaydest=array('mainmenu' => 'mainmenu.php', 'editdrivers' => 'editdrivers.php', 'editstops' => 'editstops.php', 'editpaddles' => 'editpaddles.php', 'manageconfig' => 'manageconfig.php');
  4. include 'connect.php';
  5. include 'util.php';
  6. header("Expires: Mon, 26 Jul 1997 05:00:00 GMT");
  7. header("Cache-Control: no-cache");
  8. header("Pragma: no-cache");
  9. session_start();
  10. if(array_key_exists('goto',$_REQUEST))
  11. {
  12. $dest=$_REQUEST['goto'];
  13. if(array_key_exists($dest,$okaydest))
  14. {
  15. if( $_SESSION['stops_dirty'] || $_SESSION['drivers_dirty'] || $_SESSION['paddle_dirty'])
  16. {
  17. echo '<center><h1 style="color: red">You have unsaved changes. Select revert or commit before returning to the main menu.</h1></center>';
  18. }
  19. else
  20. {
  21. unset($_SESSION['stops']);
  22. unset($_SESSION['drivers']);
  23. unset($_SESSION['paddle']);
  24. unset($_SESSION['paddle_list']);
  25. $_SESSION['page']=$dest;
  26. $_SESSION['pageaddr']=$okaydest[$dest];
  27. redirect('index.php');
  28. }
  29. }
  30. else
  31. {
  32. redirect('index.php');
  33. }
  34. }
  35. if(!isset($_SESSION['page']))
  36. {
  37. $_SESSION['page']='mainmenu';
  38. $_SESSION['pageaddr']=$okaydest['mainmenu'];
  39. }
  40. if(isset($_SESSION['pageaddr']))
  41. {
  42. include $_SESSION['pageaddr'];
  43. }
  44. echo '<div style="background: #E0E0FF;">';
  45. echo '<table width="80%" align="center"><tr>';
  46. echo "<td><a href=\"index.php?goto=mainmenu\">Return to Main Menu...</a></td>";
  47. echo '</tr></table>';
  48. echo '</div>';
  49. ?>