Skip to content

Fix: also delete the cached file on disk#85

Merged
TrueBrain merged 1 commit intomasterfrom
more_cache_fixes
Nov 14, 2020
Merged

Fix: also delete the cached file on disk#85
TrueBrain merged 1 commit intomasterfrom
more_cache_fixes

Conversation

@TrueBrain
Copy link
Copy Markdown
Owner

If a logged-in user generated a file, LAST_TIME_RENDERED was set,
but the cache on disk is not written. Now if there was an older
version of the cache still on disk, on next request from a visitor
that is not logged-in, the old cache would be served. Solve this
by also removing the cache from the disk, so it cannot do this,
and a new page will be rendered and served.

@TrueBrain TrueBrain force-pushed the more_cache_fixes branch 2 times, most recently from f157b94 to f73d4cf Compare November 14, 2020 15:04
If a logged-in user generated a file, LAST_TIME_RENDERED was set,
but the cache on disk is not written. Now if there was an older
version of the cache still on disk, on next request from a visitor
that is not logged-in, the old cache would be served.

Validate that the time set in LAST_TIME_RENDERED is in fact also
the time of the cache-file on disk. If not, the file on disk is
stale and a new page should be rendered.
@TrueBrain TrueBrain merged commit 3601ffc into master Nov 14, 2020
@TrueBrain TrueBrain deleted the more_cache_fixes branch November 14, 2020 15:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant