Ticket #9761: filebased.patch

filebased.py

@@ -37 +37 @@
         self.set(key, value, timeout)
         return True
 
+    def when_cached(self, key, default=0):
+        fname = self._key_to_file(key)
+        rv = default
+        try:
+            rv = os.stat(fname)[8]
+        except (IOError, OSError, EOFError, pickle.PickleError):
+            pass
+        return rv
+                
+    def get_if_newer(self, key, timestamp, default=None):
+        rv = default
+        if self.when_cached(key) > timestamp:
+            rv = self.get(key)
+        return rv
+
     def get(self, key, default=None):
         fname = self._key_to_file(key)
         try: