mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-07 12:04:32 +08:00
Merge pull request #1706 from ColdGrub1384/master
Catch 'PermissionError' for unreadable directories
This commit is contained in:
3 files changed
+29
-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 OSError:
|
||||
continue
|
||||
return False
|
||||
|
||||
|
||||
|
||||
Reference in new issue
Block a user