+//----------------------------------------------------------------------------------------
+
+function check_page_security($page_security)
+{
+ if (!$_SESSION["wa_current_user"]->check_user_access())
+ {
+ echo "<br><br><br><center>";
+ echo "<b>" . _("Security settings have not been defined for your user account.");
+ echo "<br>" . _("Please contact your system administrator.") . "</b>";
+
+ kill_login();
+ exit;
+ }
+
+ if (!$_SESSION["wa_current_user"]->can_access_page($page_security))
+ {
+ // no_menu parameter guess here is ugly hack, but works for now.
+ // Better solution is to use global switch for menu, set before
+ // session.inc inclusion.
+ page(_("Access denied"), strpos($_SERVER['PHP_SELF'], '/view/'));
+
+ echo "<center><br><br><br><b>";
+ echo _("The security settings on your account do not permit you to access this function");
+ echo "</b>";
+ echo "<br><br><br><br></center>";
+ end_page();
+ //kill_login();
+ exit;
+ }
+}
+