diff options
Diffstat (limited to 'etc/inc/util.inc')
| -rw-r--r-- | etc/inc/util.inc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/etc/inc/util.inc b/etc/inc/util.inc index ba0460d..c07b23d 100644 --- a/etc/inc/util.inc +++ b/etc/inc/util.inc @@ -350,9 +350,6 @@ function lock($lock) { die("WARNING: You must give a name as parameter to lock() function."); if (!file_exists("{$g['tmp_path']}/{$lock}.lock")) @touch("{$g['tmp_path']}/{$lock}.lock"); - ini_set('error_reporting', E_NONE); - $config_lock_key = ftok("{$g['tmp_path']}/{$lock}.lock", 'a'); - $cfglckkey = sem_get($config_lock_key, 1, 0666, true); $cfglckkeyconsumers++; if ($fp = fopen("{$g['tmp_path']}/{$lock}.lock", "w+")) { if (flock($fp, LOCK_EX)) |
