diff --git a/core/util.inc.php b/core/util.inc.php index 29102848..b53b64a5 100644 --- a/core/util.inc.php +++ b/core/util.inc.php @@ -552,6 +552,8 @@ function is_cli() { return (PHP_SAPI === 'cli'); } + +$_execs = 0; /** * $db is the connection object *