Merge pull request #8399 from annando/poll-mail

Polling Mails is now done with a higher priority
This commit is contained in:
Tobias Diekershoff 2020-03-10 12:01:16 +01:00 committed by GitHub
commit 5659420a34
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -282,7 +282,7 @@ class Cron
} }
} }
if (($contact['network'] == Protocol::FEED) && ($contact['priority'] <= 3)) { if ((($contact['network'] == Protocol::FEED) && ($contact['priority'] <= 3)) || ($contact['network'] == Protocol::MAIL)) {
$priority = PRIORITY_MEDIUM; $priority = PRIORITY_MEDIUM;
} elseif ($contact['archive']) { } elseif ($contact['archive']) {
$priority = PRIORITY_NEGLIGIBLE; $priority = PRIORITY_NEGLIGIBLE;