if (isset($_GET['debug'])) { $debug=TRUE; ini_set("display_errors", 1); } if (SERVER == "production") { unset ($_GET['debug']); $debug = FALSE; ini_set("display_errors", 0); } ini_set("display_errors", 1); # avvio la sessione session_start(); # require require "inc/settings.php"; require "transl/".$lingua.".php"; require "../inc/data_access.php"; require "../inc/utilities.php"; require "../inc/library.php"; require "inc/mappings.php"; # redirect perché voglio solo un url if (!isset($force_server) && SERVER=='production' && $_SERVER['HTTP_HOST'] != MAIN_HOST) { // header ("Location: http://".MAIN_HOST."/?".$_SERVER['QUERY_STRING']); // exit; } setFirtSessionCookie(); addSlashesToGetAndPost(); if (isset($_SESSION['rememberUser'])) rememberUser(); tryAutoLogin(); if (isset($_GET['logout'])) { logoutUser(); session_destroy(); session_start(); pageReload(); } ?> ###################################################################################################################?>
if ($page == HOME_PAGE_NAME) { require "box_home.php"; } else { require "box_contents.php"; } ?> |