web/httpcache.py
changeset 10411 4ee15441f2eb
parent 10305 937deb71a681
parent 10348 b9bb4296133d
child 10849 79066409fdcf
--- a/web/httpcache.py	Mon Jun 22 14:15:16 2015 +0200
+++ b/web/httpcache.py	Mon Jun 22 14:27:37 2015 +0200
@@ -71,7 +71,7 @@
             self.req.set_header('Cache-control', 'no-cache')
             return
         req.set_header('Cache-control',
-                       'must-revalidate;max-age=%s' % self.max_age())
+                       'must-revalidate,max-age=%s' % self.max_age())
         mdate = self.last_modified()
         # use a timestamp, not a formatted raw header, and let
         # the front-end correctly generate it