Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
We are all familiar with the cache bug when a page is moved; if [[A]]
is moved to [[B]]
, then sometimes (the exact conditions are unclear) for a little while (about a day?), the page at http://ncatlab.org/nlab/show/A
will appear as it did before the move, unless somebody logs into the server and removes the cache.
There is another, subtler, form of the cache bug, not associated with a move. If I edit [[A]]
and then save it, and you immediately look at the changes (or the history, source, etc) of [[A]]
, you’ll see what it was before my save, since my save hasn’t quite taken effect yet. Fair enough. But after my save has taken effect, then whatever exact page you looked at remains in the cache.
I renamed compactly generated space to compactly generated topological space following general conventions. The cache version stayed present (it indicates 27 rather than 28 versions).
Fixed. Thanks for reporting.
1 to 3 of 3