# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1588518374 -7200
# Node ID b1fb57e9176d6fe0086490767ffb1fc31e9f5690
# Parent  780dbc2f4853d881b198eb9bc73800f9ff8d6275
pages: don't use cache when `cache-control` header is set to `no-cache`

diff -r 780dbc2f4853 -r b1fb57e9176d libervia/server/pages.py
--- a/libervia/server/pages.py	Wed Apr 29 17:39:11 2020 +0200
+++ b/libervia/server/pages.py	Sun May 03 17:06:14 2020 +0200
@@ -977,6 +977,9 @@
             #  we are not on the final page, no need to go further
             return
 
+        if request.getHeader('cache-control') == 'no-cache':
+            return
+
         profile = self.getProfile(request) or C.SERVICE_PROFILE
 
         if cache_type == C.CACHE_PUBSUB: