Feat add agent manager
modified includes:
- add agent manager to manage all agents;
- extract the host ssh port to prevent conflict.
- clean all containers with the prefix sandbox-
do we decide to merge this? it can't create a new container if previous container is still exist, the hardcode host port 2222 will cause the problem.
Yes, I think this fixes a lot of minor problems with the SSHBox (hard coded port, lingering containers)
i've resolved the conflicts, appreciate it if you have time to merge it.
A few quick notes:
- I changed the prefix to
opendevin-sandbox-, which should be a little safer - If we instantiate multiple sandboxes in the future, the cleanups might fight each other...may need to rethink that eventually
Will merge once tests pass
i'm getting an error when starting. noted it here: https://github.com/OpenDevin/OpenDevin/issues/1050