|
@@ -353,6 +353,7 @@ class DockerExecBox(Sandbox):
|
|
|
container.remove(force=True)
|
|
container.remove(force=True)
|
|
|
except docker.errors.NotFound:
|
|
except docker.errors.NotFound:
|
|
|
pass
|
|
pass
|
|
|
|
|
+ self.docker_client.close()
|
|
|
|
|
|
|
|
def get_working_directory(self):
|
|
def get_working_directory(self):
|
|
|
return self.sandbox_workspace_dir
|
|
return self.sandbox_workspace_dir
|