# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1562415070 -7200
# Node ID 1211dbc3cca71e087d6addc546bce70f750c7c0a
# Parent  b251c8bb67764b528475eab8ab4103ea6eaf259c
pages: don't put error pages in cache

diff -r b251c8bb6776 -r 1211dbc3cca7 libervia/server/pages.py
--- a/libervia/server/pages.py	Fri Jul 05 16:49:20 2019 +0200
+++ b/libervia/server/pages.py	Sat Jul 06 14:11:10 2019 +0200
@@ -1138,6 +1138,9 @@
         @param core(int): error code to use
         @param no_body: don't write body if True
         """
+        if self._do_cache is not None:
+            # we don't want to cache error pages
+            self._do_cache = None
         request.setResponseCode(code)
         if no_body:
             request.finish()