Fix error when you delete the builtin symbols directory

Fix #908
This commit is contained in:
Julien Duponchelle 2017-02-20 18:28:49 +01:00
parent 961c209ab1
commit b132d95a04
No known key found for this signature in database
GPG Key ID: CE8B29639E07F5E8

View File

@ -39,6 +39,7 @@ class Symbols:
def list(self):
self._symbols_path = {}
symbols = []
if get_resource("symbols"):
for file in os.listdir(get_resource("symbols")):
if file.startswith('.'):
continue