| 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 7d085945ca69767b01868cbc91d7a357dbd73d35..8859b807e464556d08a804770895e1d34ade2a4a 100644
|
| --- a/chrome/common/extensions/docs/server2/local_file_system.py
|
| +++ b/chrome/common/extensions/docs/server2/local_file_system.py
|
| @@ -88,7 +88,12 @@ class LocalFileSystem(FileSystem):
|
| if path == '' or path.endswith('/'):
|
| result[path] = _ListDir(full_path)
|
| else:
|
| - result[path] = _ReadFile(full_path)
|
| + try:
|
| + result[path] = _ReadFile(full_path)
|
| + except FileNotFoundError:
|
| + if skip_not_found:
|
| + continue
|
| + raise
|
| return result
|
| return Future(callback=resolve)
|
|
|
|
|