Catch a permission error on symbols

Fix #930
This commit is contained in:
Julien Duponchelle committed 2017-03-13 17:50:39 +01:00
1 parent d60597ca0d
commit 1d5029e4e2
1 file changed
+1 -1
@@ -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, FileNotFoundError):
except (KeyError, FileNotFoundError, PermissionError):
response.set_status(404)
@Route.post(