mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-10-01 07:25:59 -04:00
Alexandre Alapetite
00127f07c5
Before the cache system was not used for feeds with errors, which was problematic especially if several users have this feed. Furthermore, there was no protection against repetitive refresh. Bonus: slightly better performance by avoiding some superfluous file_exists(). Warning: needs a bit of testing https://github.com/marienfressinaud/FreshRSS/issues/681