Normalize symbol ID on Windows.

This commit is contained in:
grossmj 2018-11-23 18:47:42 +07:00
parent 9f7f26700e
commit e0813bfbe8

View File

@ -66,7 +66,7 @@ class Symbols:
for filename in files: for filename in files:
if filename.startswith('.'): if filename.startswith('.'):
continue continue
symbol_file = posixpath.normpath(os.path.relpath(os.path.join(root, filename), get_resource("symbols"))) symbol_file = posixpath.normpath(os.path.relpath(os.path.join(root, filename), get_resource("symbols"))).replace('\\', '/')
symbol_id = ':/symbols/' + symbol_file symbol_id = ':/symbols/' + symbol_file
symbols.append({'symbol_id': symbol_id, symbols.append({'symbol_id': symbol_id,
'filename': symbol_file, 'filename': symbol_file,
@ -79,7 +79,7 @@ class Symbols:
for filename in files: for filename in files:
if filename.startswith('.'): if filename.startswith('.'):
continue continue
symbol_file = posixpath.normpath(os.path.relpath(os.path.join(root, filename), directory)) symbol_file = posixpath.normpath(os.path.relpath(os.path.join(root, filename), directory)).replace('\\', '/')
symbols.append({'symbol_id': symbol_file, symbols.append({'symbol_id': symbol_file,
'filename': symbol_file, 'filename': symbol_file,
'builtin': False,}) 'builtin': False,})