diff options
| author | sestinj <sestinj@gmail.com> | 2023-07-15 15:10:48 -0700 | 
|---|---|---|
| committer | sestinj <sestinj@gmail.com> | 2023-07-15 15:10:48 -0700 | 
| commit | d498faecb809d3a13a605b7dca99a8049218fcc0 (patch) | |
| tree | 1441ce1dc57e12d9b815452153e466b7a21bed66 /continuedev/src/continuedev/server | |
| parent | 4ccbee5275ee314a4cdd5e5fcc1024373fe6f513 (diff) | |
| parent | 925c3e0ef45d9eb01a8f6c1efd239fa011492bd2 (diff) | |
| download | sncontinue-d498faecb809d3a13a605b7dca99a8049218fcc0.tar.gz sncontinue-d498faecb809d3a13a605b7dca99a8049218fcc0.tar.bz2 sncontinue-d498faecb809d3a13a605b7dca99a8049218fcc0.zip  | |
Merge remote origin main
Diffstat (limited to 'continuedev/src/continuedev/server')
| -rw-r--r-- | continuedev/src/continuedev/server/ide.py | 4 | ||||
| -rw-r--r-- | continuedev/src/continuedev/server/session_manager.py | 6 | 
2 files changed, 5 insertions, 5 deletions
diff --git a/continuedev/src/continuedev/server/ide.py b/continuedev/src/continuedev/server/ide.py index 7875c94d..77b13483 100644 --- a/continuedev/src/continuedev/server/ide.py +++ b/continuedev/src/continuedev/server/ide.py @@ -227,8 +227,8 @@ class IdeProtocolServer(AbstractIdeProtocolServer):          })      async def getSessionId(self): -        session_id = self.session_manager.new_session( -            self, self.session_id).session_id +        session_id = (await self.session_manager.new_session( +            self, self.session_id)).session_id          await self._send_json("getSessionId", {              "sessionId": session_id          }) diff --git a/continuedev/src/continuedev/server/session_manager.py b/continuedev/src/continuedev/server/session_manager.py index fb8ac386..6d109ca6 100644 --- a/continuedev/src/continuedev/server/session_manager.py +++ b/continuedev/src/continuedev/server/session_manager.py @@ -53,18 +53,18 @@ class SessionManager:              session_files = os.listdir(sessions_folder)              if f"{session_id}.json" in session_files and session_id in self.registered_ides:                  if self.registered_ides[session_id].session_id is not None: -                    return self.new_session(self.registered_ides[session_id], session_id=session_id) +                    return await self.new_session(self.registered_ides[session_id], session_id=session_id)              raise KeyError("Session ID not recognized", session_id)          return self.sessions[session_id] -    def new_session(self, ide: AbstractIdeProtocolServer, session_id: Union[str, None] = None) -> Session: +    async def new_session(self, ide: AbstractIdeProtocolServer, session_id: Union[str, None] = None) -> Session:          full_state = None          if session_id is not None and os.path.exists(getSessionFilePath(session_id)):              with open(getSessionFilePath(session_id), "r") as f:                  full_state = FullState(**json.load(f)) -        autopilot = DemoAutopilot( +        autopilot = await DemoAutopilot.create(              policy=DemoPolicy(), ide=ide, full_state=full_state)          session_id = session_id or str(uuid4())          ide.session_id = session_id  | 
