diff --git a/html/main.php b/html/main.php
index e43f2aaeb104149ffc1c5b3d6bc85e9e71146f32..365763c9c3f639bdf34df1a41fc8ac4bdc443879 100644 (file)
--- a/html/main.php
+++ b/html/main.php
$timing= array();
require_once ("../include/php_setup.inc");
require_once ("functions.inc");
+require_once ("functions_FAI.inc");
header("Content-type: text/html; charset=UTF-8");
/* Find all class files and include them */
$lang= $config->data['MAIN']['LANG'];
}
+/* Preset current main base */
+if(!isset($_SESSION['CurrentMainBase'])){
+ $_SESSION['CurrentMainBase']= get_base_from_people($ui->dn);
+}
+
$lang.=".UTF-8";
putenv("LANGUAGE=");
putenv("LANG=$lang");
$_SESSION['plist']= $plist;
$_SESSION['config']= $config;
-
/* Echo compilation time * /
$r = split(" ",$start);
$ms = $r[0];