Update docker manager & provider

2024-09-28 10:40:27 +08:00
parent da18f2f6e9
commit 5552ac9dcf
6 changed files with 89 additions and 308 deletions
--- a/desktop_env/evaluators/getters/general.py
+++ b/desktop_env/evaluators/getters/general.py
@@ -23,7 +23,7 @@ def get_vm_command_line(env, config: Dict[str, str]):

 def get_vm_command_error(env, config: Dict[str, str]):
    vm_ip = env.vm_ip
-    port = 5000
+    port = env.server_port
    command = config["command"]
    shell = config.get("shell", False)