| 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 51e54bd034391282795d30804f1c8b6617a8029e..ec22549dd3bb66aaf3b3299ab0061e483affa899 100644
|
| --- a/chrome/common/extensions/docs/server2/file_system.py
|
| +++ b/chrome/common/extensions/docs/server2/file_system.py
|
| @@ -22,8 +22,9 @@ class FileSystem(object):
|
| class StatInfo(object):
|
| """The result of calling Stat on a FileSystem.
|
| """
|
| - def __init__(self, version):
|
| + def __init__(self, version, child_versions):
|
| self.version = version
|
| + self.child_versions = child_versions
|
|
|
| def Read(self, paths, binary=False):
|
| """Reads each file in paths and returns a dictionary mapping the path to the
|
| @@ -42,7 +43,8 @@ class FileSystem(object):
|
| return self.Read([path]).Get()[path]
|
|
|
| def Stat(self, path):
|
| - """Gets the version number of |path| if it is a directory, or the parent
|
| - directory if it is a file.
|
| + """Returns a |StatInfo| object containing the version of |path|. If |path|
|
| + is a directory, |StatInfo| will have the versions of all the children of
|
| + the directory in |StatInfo.child_versions|.
|
| """
|
| raise NotImplementedError()
|
|
|