diff options
-rw-r--r-- | etc/inc/util.inc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index cc785f0..8138196 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -121,6 +121,9 @@ function unlock($cfglckkey = 0) { if (!$cfglckkey) return; + // Rely on or own logging for errors here. + ini_set('error_reporting', E_NONE); + if (!sem_release($cfglckkey)) log_error("WARNING: unlock() - Could not unlock lock."); else { @@ -131,6 +134,8 @@ function unlock($cfglckkey = 0) { ini_set('error_reporting', E_ALL & ~E_NOTICE); } $cfglckkeyconsumers--; + + ini_set('error_reporting', E_ALL & ~E_NOTICE); } function is_module_loaded($module_name) { @@ -988,4 +993,4 @@ function isAjax() { } -?> +?>
\ No newline at end of file |