diff options
| author | 2014-10-26 19:09:05 +0100 | |
|---|---|---|
| committer | 2014-10-26 19:09:05 +0100 | |
| commit | 9decc715f437c7139a56c270c034e381a650c3fa (patch) | |
| tree | 98bb23430079e83ee2316fd3163cf9c6569e9ddb | |
| parent | 01ef0ef2b8b5f8eda53b2dff19f460dd9d1b8276 (diff) | |
| parent | e861e5789d52fab6c4055e39fb92d64194eaab5e (diff) | |
Merge pull request #684 from ldidry/issue-683
Fixes #683
| -rwxr-xr-x | app/actualize_script.php | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/app/actualize_script.php b/app/actualize_script.php index e5925514e..9fe499cc9 100755 --- a/app/actualize_script.php +++ b/app/actualize_script.php @@ -7,6 +7,11 @@ ob_implicit_flush(false); ob_start(); echo 'Results: ', "\n"; //Buffered +if (defined('STDOUT')) { + $begin_date = date_create('now'); + fwrite(STDOUT, 'Starting feed actualization at ' . $begin_date->format('c') . "\n"); //Unbuffered +} + Minz_Configuration::init(); $users = listUsers(); @@ -52,6 +57,10 @@ foreach ($users as $myUser) { syslog(LOG_INFO, 'FreshRSS actualize done.'); if (defined('STDOUT')) { fwrite(STDOUT, 'Done.' . "\n"); + $end_date = date_create('now'); + $duration = date_diff($end_date, $begin_date); + fwrite(STDOUT, 'Ending feed actualization at ' . $end_date->format('c') . "\n"); //Unbuffered + fwrite(STDOUT, 'Feed actualizations took ' . $duration->format('%a day(s), %h hour(s), %i minute(s) and %s seconds') . ' for ' . count($users) . " users\n"); //Unbuffered } echo 'End.', "\n"; ob_end_flush(); |
