diff --git a/phpgwapi/inc/functions.inc.php b/phpgwapi/inc/functions.inc.php index e9ffbbfb0a..3fa38de49e 100644 --- a/phpgwapi/inc/functions.inc.php +++ b/phpgwapi/inc/functions.inc.php @@ -319,7 +319,7 @@ if (! $phpgw_info["user"]["apps"][$phpgw_info["flags"]["currentapp"]]) { $phpgw->common->phpgw_header(); echo "

".lang("Access not permitted")."
"; - exit; + $phpgw->common->phpgw_exit(True); } }