mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-13 04:40:14 +08:00
Catch 'PermissionError' for unreadable directories
This commit is contained in:
1 parent
69750b9bf0
commit
83d4ec9e84
2 files changed
+10
-4
No files matched your search
+5
-2
@@ -366,8 +366,11 @@ class Project:
|
||||
|
||||
def _is_potential_project(path):
|
||||
for name in _CONTAINS_POTENTIAL_PROJECT:
|
||||
if path.joinpath(name).exists():
|
||||
return True
|
||||
try:
|
||||
if path.joinpath(name).exists():
|
||||
return True
|
||||
except PermissionError:
|
||||
continue
|
||||
return False
|
||||
|
||||
|
||||
|
||||
Reference in new issue
Block a user