Index: chrome/common/extensions/docs/server2/file_system.py |
diff --git a/chrome/common/extensions/docs/server2/file_system.py b/chrome/common/extensions/docs/server2/file_system.py |
index 873cdbffa3d3650fe96d504c2265809ae8c7b071..d4f19fc0280a37aa361b7c8d0881b2903d066424 100644 |
--- a/chrome/common/extensions/docs/server2/file_system.py |
+++ b/chrome/common/extensions/docs/server2/file_system.py |
@@ -42,3 +42,8 @@ class FileSystem(object): |
directory if it is a file. |
""" |
raise NotImplementedError() |
+ |
+ def CheckStat(self, version1, version2): |
+ """Returns True if cache is expired. |
+ """ |
+ return version1 > version2 |
not at google - send to devlin
2012/08/02 13:27:48
This won't work for git.
cduvall
2012/08/02 23:20:01
I had this overridden in GithubFileSystem using !=
|