From 9a8ee2c7a1a9e25b8c2bde614a5bfde6fc388da6 Mon Sep 17 00:00:00 2001
From: Maxime Delorme <mdelorme@tennaxia.com>
Date: Mon, 11 Jun 2007 13:50:09 +0100
Subject: [PATCH] It is safer to point menu options at /index.php rather than
 just /

---
 inc/interactive-page.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/inc/interactive-page.php b/inc/interactive-page.php
index effe113d..1235a06a 100644
--- a/inc/interactive-page.php
+++ b/inc/interactive-page.php
@@ -1,12 +1,12 @@
 <?php
 require_once("MenuSet.php");
 $page_menu = new MenuSet('menu', 'menu', 'menu_active');
-$page_menu->AddOption(translate("Home"),"$c->base_url/",translate("Browse all users"), false, 3900 );
+$page_menu->AddOption(translate("Home"),"$c->base_url/index.php",translate("Browse all users"), false, 3900 );
 if ( $session->AllowedTo("Admin" )) {
 //  $page_menu->AddOption(translate("Setup"),"$c->base_url/setup.php",translate("Setup RSCDS"), false, 5000 );
   $page_menu->AddOption(translate("Operations"),"$c->base_url/tools.php",translate("Operations on your calendar"), false, 5200 );
 }
-$page_menu->AddOption(translate("Logout"),"$c->base_url/?logout",translate("Log out of the").$c->system_name, false, 5400 );
+$page_menu->AddOption(translate("Logout"),"$c->base_url/index.php?logout",translate("Log out of the").$c->system_name, false, 5400 );
 $page_menu->AddOption(translate("Help"),"$c->base_url/help.php",translate("Help on something or other"), false, 8500 );
 $page_menu->AddOption(translate("Report Bug"),"http://sourceforge.net/tracker/?func=add&group_id=179845&atid=890785",translate("Report a bug in the system"), false, 9000 );