get("mb_user_gui") !== false) {
Mapbender::session()->set("previous_gui",Mapbender::session()->get("mb_user_gui"));
}
Mapbender::session()->set("mb_user_gui",$gui_id);
//lösche session wmc, wenn von einer in andere Gui gewechselt wird
if(Mapbender::session()->get("previous_gui") != Mapbender::session()->get("mb_user_gui")) {
if (Mapbender::session()->exists("mb_wmc")) {
Mapbender::session()->delete("mb_wmc");
}
}
//
// check if user is allowed to access current GUI;
// if not, return to login screen
//
if (!in_array($gui_id, Mapbender::session()->get("mb_user_guis"))) {
$e = new mb_exception("mb_validateSession.php: User: " . Mapbender::session()->get("mb_user_id") . " not allowed to access GUI " . $gui_id);
session_write_close();
header("Location: ".LOGIN);
die();
}
?>
<?php echo $gui_id;?> - presented by Mapbender
\n";
}
?>
\n";
$sql = << 'iframe'
AND gui_element.fkey_gui_id = $1
AND gui_element_vars.fkey_gui_id = $1
AND var_type='file/css'
ORDER BY var_name
SQL;
$v = array($gui_id);
$t = array('s');
$res = db_prep_query($sql,$v,$t);
$cnt = 0;
while($row = db_fetch_array($res)){
echo "\n";
}
?>
";
}
$currentApplication = new gui($gui_id);
echo $currentApplication->toHtml();
$mapPhpParameters = htmlentities($urlParameters, ENT_QUOTES, CHARSET);
$mapPhpParameters .= "&".htmlentities($_SERVER["QUERY_STRING"]);
echo "";
?>