mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-14 13:08:56 +08:00
Don't save properties to project.json that are dropped anyway
This commit is contained in:
1 parent
c71dead915
commit
575c6ab378
1 file changed
+5
@@ -107,6 +107,11 @@ class Project:
|
||||
data = dict(self.__dict__)
|
||||
data.pop('_environment', None)
|
||||
data.pop('_django', None) # TODO make django setting public?
|
||||
|
||||
# These are dropped anyway
|
||||
data.pop('_load_unsafe_extensions', None)
|
||||
data.pop('environment_path', None)
|
||||
|
||||
data = {k.lstrip('_'): v for k, v in data.items()}
|
||||
data['path'] = str(data['path'])
|
||||
|
||||
|
||||
Reference in new issue
Block a user