Files
OpenHands/opendevin/server/session/__init__.py
Leo 494a1b6872 Feat add agent manager (#904)
* feat: add agent manager to manage all agents;

* extract the host ssh port to prevent conflict.

* clean all containers with prefix is sandbox-

* merge from upstream/main

* merge from upstream/main

* Update frontend/src/state/settingsSlice.ts

* Update opendevin/sandbox/ssh_box.py

* Update opendevin/sandbox/exec_box.py

---------

Co-authored-by: Robert Brennan <accounts@rbren.io>
2024-04-12 07:53:47 -04:00

8 lines
215 B
Python

from .manager import SessionManager
from .msg_stack import message_stack
from .session import Session
session_manager = SessionManager()
__all__ = ['Session', 'SessionManager', 'session_manager', 'message_stack']