| 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 89dfd9faba4bc729f1ca0b787779379100b70f2c..7937fd0249250edb706acd04b6821d6244ec68ba 100644
|
| --- a/chrome/common/extensions/docs/server2/local_file_system.py
|
| +++ b/chrome/common/extensions/docs/server2/local_file_system.py
|
| @@ -52,10 +52,16 @@ class LocalFileSystem(file_system.FileSystem):
|
| result[path] = self._ReadFile(self._ConvertToFilepath(path), binary)
|
| return Future(value=result)
|
|
|
| + def _CreateStatInfo(self, path):
|
| + if path.endswith('/'):
|
| + versions = dict((filename, os.stat(os.path.join(path, filename)).st_mtime)
|
| + for filename in os.listdir(path))
|
| + else:
|
| + versions = None
|
| + return self.StatInfo(os.stat(path).st_mtime, versions)
|
| +
|
| def Stat(self, path):
|
| try:
|
| - return self.StatInfo(
|
| - os.stat(os.path.join(self._base_path, path)).st_mtime)
|
| + return self._CreateStatInfo(os.path.join(self._base_path, path))
|
| except OSError:
|
| raise file_system.FileNotFoundError(path)
|
| -
|
|
|