1
0
mirror of https://git.tt-rss.org/git/tt-rss.git synced 2025-12-13 08:55:55 +00:00

CLI tools: fix --quiet not working if --log is unset

This commit is contained in:
Andrew Dolgov
2018-12-01 10:05:26 +03:00
parent 523e1cb9e8
commit 8d190d539b
3 changed files with 12 additions and 3 deletions

View File

@@ -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;
}