Merge branch 'master' of github.com:pappasam/jedi-language-server

pappasam · Feb 12, 2021 · 95ec13a · 95ec13a
2 parents 7c1b2cd + 9fc4671
commit 95ec13a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/jedi_language_server/server.py b/jedi_language_server/server.py
@@ -373,8 +373,8 @@ def workspace_symbol(
  jedi_utils.lsp_symbol_information(name)
  for name in names
  if name.module_path
- and name.module_path.startswith(workspace_root)
- and not _ignore_folder(name.module_path)
+ and str(name.module_path).startswith(workspace_root)
+ and not _ignore_folder(str(name.module_path))
  )
  symbols = list(itertools.islice(_symbols, 20))
  return symbols if symbols else None