update docker file
This commit is contained in:
1 parent
e1256bf652
commit
b54b0717f6
2 files changed
+2
-2
No files matched your search
@@ -9,7 +9,7 @@ redis_config = {
|
||||
|
||||
# 判题的 docker 容器的配置参数
|
||||
docker_config = {
|
||||
"image_name": "5453975e94c4",
|
||||
"image_name": "3da0e526934e",
|
||||
"docker_path": "docker",
|
||||
"shell": True
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user