diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-08-25 18:28:19 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-08-25 18:28:19 -0700 |
| commit | 20ee1d7069d1b7fb00b4b8f67b0b33b12cb88179 (patch) | |
| tree | 99d58a2234eb91084beaa21471c9fd3acdc1a834 | |
| parent | b1b7d13dbf5b9f6ada28a5ef22ea6857d3b0bcb6 (diff) | |
| download | sncontinue-20ee1d7069d1b7fb00b4b8f67b0b33b12cb88179.tar.gz sncontinue-20ee1d7069d1b7fb00b4b8f67b0b33b12cb88179.tar.bz2 sncontinue-20ee1d7069d1b7fb00b4b8f67b0b33b12cb88179.zip | |
migration logic for filter by workspace
| -rw-r--r-- | continuedev/src/continuedev/server/session_manager.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/continuedev/src/continuedev/server/session_manager.py b/continuedev/src/continuedev/server/session_manager.py index 6f4e4a87..05b54c89 100644 --- a/continuedev/src/continuedev/server/session_manager.py +++ b/continuedev/src/continuedev/server/session_manager.py @@ -130,6 +130,10 @@ class SessionManager: if session_id not in session_ids: sessions_list.append(full_state.session_info.dict()) + for session_info in sessions_list: + if "workspace_directory" not in session_info: + session_info["workspace_directory"] = "" + with open(getSessionsListFilePath(), "w") as f: json.dump(sessions_list, f) |