diff options
author | Andrew Dolgov <[email protected]> | 2018-12-01 10:05:26 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2018-12-01 10:05:26 +0300 |
commit | 8d190d539b8c7aff3a6b2b24f03bdc1db6681b1b (patch) | |
tree | 159a50e15b2305dd4475bbe15d5a812067e76135 /classes/debug.php | |
parent | 523e1cb9e8142f329db80c01756d64f770a79a13 (diff) |
CLI tools: fix --quiet not working if --log is unset
Diffstat (limited to 'classes/debug.php')
-rw-r--r-- | classes/debug.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/classes/debug.php b/classes/debug.php index 21b823c52..c62f0c9f5 100644 --- a/classes/debug.php +++ b/classes/debug.php @@ -1,5 +1,6 @@ <?php class Debug { + public static $LOG_DISABLED = -1; public static $LOG_NORMAL = 0; public static $LOG_VERBOSE = 1; public static $LOG_EXTENDED = 2; @@ -9,7 +10,7 @@ class Debug { private static $logfile = false; private static $loglevel = 0; - public static function set_logfile($logfile) { + public static function set_logfile($logfile) { Debug::$logfile = $logfile; } |