| 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..5b14ca122807f1312e1e7c93e90f8e4c97fc3b35 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
|
| + return Future(exc_info=sys.exc_info())
|
| return result
|
| return Future(callback=resolve)
|
|
|
|
|