diff options
| author | 2024-07-31 22:11:01 +0200 | |
|---|---|---|
| committer | 2024-07-31 22:11:01 +0200 | |
| commit | 666e7b27ce4f9c8254e76373572f220ddfb2fd37 (patch) | |
| tree | 9742cda807743d05c1a2b5580812eb0deea7679f /app/Controllers/feedController.php | |
| parent | 6e01866845b31d8d78c3a11bccde1594ce0119a2 (diff) | |
Fix muted feeds for WebSub (#6671)
Diffstat (limited to 'app/Controllers/feedController.php')
| -rw-r--r-- | app/Controllers/feedController.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Controllers/feedController.php b/app/Controllers/feedController.php index c8d534545..396649701 100644 --- a/app/Controllers/feedController.php +++ b/app/Controllers/feedController.php @@ -452,7 +452,7 @@ class FreshRSS_feed_Controller extends FreshRSS_ActionController { continue; //When PubSubHubbub is used, do not pull refresh so often } - if ($feed->mute() && $feed_id === null) { + if ($feed->mute() && ($feed_id === null || $simplePiePush !== null)) { continue; // If the feed is disabled, only allow refresh if manually requested for that specific feed } $mtime = $feed->cacheModifiedTime() ?: 0; |
