web/httpcache.py
changeset 10348 b9bb4296133d
parent 8544 3d049071957e
child 10411 4ee15441f2eb
--- a/web/httpcache.py	Wed Apr 22 17:48:32 2015 +0200
+++ b/web/httpcache.py	Tue Apr 28 17:00:35 2015 +0200
@@ -75,7 +75,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