From d87ca5d233e9e037d57126d3ddfa484e43977e43 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Mon, 19 Oct 2015 08:55:11 +0200 Subject: [PATCH] inc: fix a crash report --- src/etc/inc/util.inc | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/etc/inc/util.inc b/src/etc/inc/util.inc index 60ccff353..b412a1a2e 100644 --- a/src/etc/inc/util.inc +++ b/src/etc/inc/util.inc @@ -107,10 +107,12 @@ function lock($lock, $op = LOCK_SH) /* unlock configuration file */ -function unlock($cfglckkey = 0) +function unlock($cfglckkey = null) { - flock($cfglckkey, LOCK_UN); - fclose($cfglckkey); + if ($cfglckkey) { + flock($cfglckkey, LOCK_UN); + fclose($cfglckkey); + } } function is_module_loaded($module_name) {