| Index: chrome/common/extensions/docs/server2/patched_file_system.py
|
| diff --git a/chrome/common/extensions/docs/server2/patched_file_system.py b/chrome/common/extensions/docs/server2/patched_file_system.py
|
| index f236d9fdeee0e5edd0e4b22e8e92ad02f2f69172..fa36ecee60611c1446520e9a80fe515bb6f720b7 100644
|
| --- a/chrome/common/extensions/docs/server2/patched_file_system.py
|
| +++ b/chrome/common/extensions/docs/server2/patched_file_system.py
|
| @@ -155,3 +155,8 @@ class PatchedFileSystem(FileSystem):
|
| else:
|
| raise FileNotFoundError('%s was not in child versions' % filename)
|
| return stat_info
|
| +
|
| + def GetIdentity(self):
|
| + return '%s(%s,%s)' % (self.__class__.__name__,
|
| + self._host_file_system.GetIdentity(),
|
| + self._patcher.GetIdentity())
|
|
|