From 575c6ab378568c6edcecccf0f1f4d834a1df34d7 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Mon, 12 Oct 2026 17:31:44 +0200 Subject: [PATCH] Don't save properties to project.json that are dropped anyway --- jedi/api/project.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/jedi/api/project.py b/jedi/api/project.py index 75b0ef33..15dd2852 100644 --- a/jedi/api/project.py +++ b/jedi/api/project.py @@ -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'])