diff options
author | Rutger Wessels <[email protected]> | 2012-08-04 20:15:40 +0200 |
---|---|---|
committer | Rutger Wessels <[email protected]> | 2012-08-04 20:15:40 +0200 |
commit | 5439d333ec92fd91a473611b8ab88c14da8312ad (patch) | |
tree | 246e597a4fdf6964d4e7934c3899be00435c3302 /include | |
parent | d68629dc09890f6ff832ed18e3a8ecc9312c53ee (diff) |
add command line option '-quiet' to make update.php more quiet
Diffstat (limited to 'include')
-rw-r--r-- | include/functions.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/functions.php b/include/functions.php index c6151225f..3da777135 100644 --- a/include/functions.php +++ b/include/functions.php @@ -112,6 +112,9 @@ * @return void */ function _debug($msg) { + if (defined('QUIET') && QUIET) { + return; + } $ts = strftime("%H:%M:%S", time()); if (function_exists('posix_getpid')) { $ts = "$ts/" . posix_getpid(); |