Catch FileNotFound error for builtin symbols if erase them from disk

Fix #752
This commit is contained in:
Julien Duponchelle 2016-11-02 12:07:25 +01:00
parent c254011b33
commit ce5ff93242
No known key found for this signature in database
GPG Key ID: CE8B29639E07F5E8

View File

@ -49,7 +49,7 @@ class SymbolHandler:
controller = Controller.instance()
try:
yield from response.file(controller.symbols.get_path(request.match_info["symbol_id"]))
except KeyError:
except (KeyError, FileNotFoundError):
response.set_status(404)
@Route.post(