github/OpenHands
1
0
Fork 0
mirror of https://github.com/OpenHands/OpenHands.git synced 2025-12-26 13:52:43 +08:00
Code Issues Packages Projects Releases Wiki Activity

add mkdir (#317)

Browse Source
This commit is contained in:
Yufan Song 2024-03-28 12:39:40 -07:00 committed by GitHub
parent 94120f2b5d
commit dedd09fdf5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
opendevin/sandbox/sandbox.py
View File

@ -94,9 +94,7 @@ class DockerInteractive:
else:
self.instance_id = str(uuid.uuid4())
if workspace_dir is not None:
assert os.path.exists(
workspace_dir
), f"Directory {workspace_dir} does not exist."
os.makedirs(workspace_dir, exist_ok=True)
# expand to absolute path
self.workspace_dir = os.path.abspath(workspace_dir)
else: