prefetch.py (409B)
1 from wptserve.handlers import json_handler 2 3 @json_handler 4 def main(request, response): 5 uuid = request.GET[b"uuid"] 6 prefetch = request.headers.get( 7 "Sec-Purpose", b"").decode("utf-8").startswith("prefetch") 8 response.headers.set("Cache-Control", "no-store") 9 10 n = request.server.stash.take(uuid) 11 if n is None: 12 n = 0 13 if prefetch: 14 n += 1 15 request.server.stash.put(uuid, n) 16 17 return n