diff --git a/html/main.php b/html/main.php
index 365763c9c3f639bdf34df1a41fc8ac4bdc443879..e03e40b75cb59304a537581e8d8ab311df90eee9 100644 (file)
--- a/html/main.php
+++ b/html/main.php
/* Prepare plugin list */
if (!isset($_SESSION['plist'])){
$_SESSION['plist']= new pluglist($config, $ui);
+
+ /* Load ocMapping into userinfo */
+ $tmp= new acl($config, NULL, $ui->dn);
+ $ui->ocMapping= $tmp->ocMapping;
+ $_SESSION['ui']= $ui;
}
$plist= $_SESSION['plist'];
echo "<input type=\"hidden\" name=\"session_cnt\" value=\"".$_SESSION['post_cnt']."\">\n";
}
+$start = microtime();
+
/* Load plugin */
if (is_file("$plugin_dir/main.inc")){
require_once ("$plugin_dir/main.inc");
/* Print_out last ErrorMessage repeated string. */
print_red(NULL);
-$smarty->assign("contents", $display);
+$smarty->assign("contents", $display.get_MicroTimeDiff($start,microtime()));
if (isset($_SESSION['errors'])){
$smarty->assign("errors", $_SESSION['errors']);