Fix mute feeds

https://github.com/FreshRSS/FreshRSS/issues/1844
7 years ago · 16d4d5185e
parent b2c02f50c1
commit 16d4d5185e
1 changed files with 2 additions and 2 deletions
--- a/app/Controllers/feedController.php
+++ b/app/Controllers/feedController.php
@ -284,10 +284,10 @@ class FreshRSS_feed_Controller extends Minz_ActionController {
 			}

 			$mtime = 0;
-			$ttl = $feed->ttl();
-			if ($ttl < FreshRSS_Feed::TTL_DEFAULT) {
+			if ($feed->mute()) {
 				continue;	//Feed refresh is disabled
 			}
+			$ttl = $feed->ttl();
 			if ((!$simplePiePush) && (!$feed_id) &&
 				($feed->lastUpdate() + 10 >= time() - ($ttl == FreshRSS_Feed::TTL_DEFAULT ? FreshRSS_Context::$user_conf->ttl_default : $ttl))) {
 				//Too early to refresh from source, but check whether the feed was updated by another user