diff options
| author | Andrew Dolgov <[email protected]> | 2012-08-04 23:33:11 -0700 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2012-08-04 23:33:11 -0700 |
| commit | 18e8dc12d9ad11093013fec590c2c29630b8ac95 (patch) | |
| tree | 246e597a4fdf6964d4e7934c3899be00435c3302 /include/functions.php | |
| parent | d68629dc09890f6ff832ed18e3a8ecc9312c53ee (diff) | |
| parent | 5439d333ec92fd91a473611b8ab88c14da8312ad (diff) | |
Merge pull request #23 from rutgerw/quietupdate
add command line option '-quiet' to make update.php more quiet
Diffstat (limited to 'include/functions.php')
| -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(); |