| 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 5828a7c94afcaf30fadbdeb62af31c84e19d786e..c287c58f8e7c144d485df38e0997dd0e23c51ebd 100644
|
| --- a/chrome/common/extensions/docs/server2/patched_file_system.py
|
| +++ b/chrome/common/extensions/docs/server2/patched_file_system.py
|
| @@ -156,3 +156,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())
|
|
|