Fix an error if you don't have permissions on your symbols directory

Fix #872
This commit is contained in:
Julien Duponchelle 2017-01-23 10:23:18 +01:00
parent a1a677fcd3
commit f90e6f2f5b
No known key found for this signature in database
GPG Key ID: CE8B29639E07F5E8

View File

@ -29,7 +29,10 @@ class Symbols:
"""
def __init__(self):
try:
self.list()
except OSError: # The error will be raised and forward later
pass
# Keep a cache of symbols size
self._symbol_size_cache = {}