web/httpcache.py
changeset 10305 937deb71a681
parent 8544 3d049071957e
child 10411 4ee15441f2eb
--- a/web/httpcache.py	Thu Mar 26 08:34:47 2015 +0100
+++ b/web/httpcache.py	Mon Mar 16 16:46:34 2015 +0100
@@ -22,10 +22,6 @@
 from time import mktime
 from datetime import datetime
 
-# time delta usable to convert localized time to GMT time
-# XXX this become erroneous after a DST transition!!!
-GMTOFFSET = - (datetime.now() - datetime.utcnow())
-
 class NoHTTPCacheManager(object):
     """default cache manager: set no-cache cache control policy"""
     def __init__(self, view):