diff --git a/html/setup.php b/html/setup.php
index 200edac1a4d413cf6d34b1730260686479109cef..e7e8803c63c5999753c0ce766d2acac37311cc63 100644 (file)
--- a/html/setup.php
+++ b/html/setup.php
session_start();
$_SESSION['DEBUGLEVEL']= 1;
+
+if (!isset($_GET['js']) && !isset($_SESSION['js'])){
+ echo '<script language="JavaScript" type="text/javascript">';
+ echo ' location = "index.php?js=true";';
+ echo '</script>';
+
+ $_SESSION['js']= FALSE;
+} else {
+ $_SESSION['js']= TRUE;
+}
+
/* Load required includes */
require_once ("../include/php_setup.inc");
require_once ("functions.inc");