Extensions Docs Server: TDS fix, no local caching

chrome/common/extensions/docs/server2/local_file_system.py

Index: chrome/common/extensions/docs/server2/local_file_system.py
diff --git a/chrome/common/extensions/docs/server2/local_file_system.py b/chrome/common/extensions/docs/server2/local_file_system.py
index 39b6360bbaeb177b26e949b3d4e1595cf7f9f7d0..5f6d98de82108a5faccb4e7c2d0e51c8548d9f06 100644
--- a/chrome/common/extensions/docs/server2/local_file_system.py
+++ b/chrome/common/extensions/docs/server2/local_file_system.py
@@ -11,8 +11,10 @@ class LocalFileSystem(FileSystem):
   """FileSystem implementation which fetches resources from the local
   filesystem.
   """
-  def __init__(self, base_path):
+  def __init__(self, base_path, inc_version=True):
     self._base_path = self._ConvertToFilepath(base_path)
+    self._inc_version = inc_version
+    self._version = 0
 
   def _ConvertToFilepath(self, path):
     return path.replace('/', os.sep)
@@ -41,4 +43,6 @@ class LocalFileSystem(FileSystem):
     return Future(value=result)
 
   def Stat(self, path):
-    return self.StatInfo(0)
+    if self._inc_version:
+      self._version += 1
+    return self.StatInfo(self._version)

[not at google - send to devlin, 2012/07/23 13:13:27]

I don't understand this inc_version stuff. This is the local file system, why
not use os.stat?

[cduvall, 2012/07/23 19:04:41]

Done.