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

fix: configurable sand box user id (#1459)

Browse Source
This commit is contained in:
ChengyangDu 2024-05-01 00:51:40 +08:00 committed by GitHub
parent fe43aeb9b6
commit eb1c3d8790
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
opendevin/config.py
View File

@ -54,7 +54,8 @@ DEFAULT_CONFIG: dict = {
ConfigType.DISABLE_COLOR: 'false',
ConfigType.SANDBOX_USER_ID: os.getuid() if hasattr(os, 'getuid') else None,
ConfigType.SANDBOX_TIMEOUT: 120,
ConfigType.GITHUB_TOKEN: None
ConfigType.GITHUB_TOKEN: None,
ConfigType.SANDBOX_USER_ID: None
}
config_str = ''