Only flag docs as loaded when they've actually changed
authorMagnus Hagander <magnus@hagander.net>
Fri, 20 Nov 2020 15:44:44 +0000 (16:44 +0100)
committerMagnus Hagander <magnus@hagander.net>
Mon, 23 Nov 2020 10:58:51 +0000 (11:58 +0100)
commite24e987c29b21c310ffbc1b65ce0038fecb32cfa
tree24ecd0ed3c20785611dd82c3a33bbbe07569d2a5
parent1cfef71c52b32fcd7e59e3e5ea0a31baa3a0462d
Only flag docs as loaded when they've actually changed

We already avoided the actual updates (by filtering the UPDATE
statement), but since we set the load date we'd trigger a change to
every page and kick it ouf of the caches even when not chagned, which is
wasteful. So instead only do that if something has changed. When it has,
we still reset that whole version of the docs since we want the load
date to be consistent across them.
tools/docs/docload.py