add judger dir

This commit is contained in:
virusdefender 2018-05-05 16:33:33 +08:00
parent b0b80dc792
commit 37ad60913c

View File

@ -33,12 +33,10 @@ services:
- FSETID - FSETID
tmpfs: tmpfs:
- /tmp - /tmp
- /judger_run:exec,mode=777
- /spj:exec,mode=777
# - /dev/shm:mode=777
volumes: volumes:
- $PWD/data/backend/test_case:/test_case:ro - $PWD/data/backend/test_case:/test_case:ro
- $PWD/data/judge_server:/log - $PWD/data/judge_server/log:/log
- $PWD/data/judge_server/run:/judger
environment: environment:
- SERVICE_URL=http://judge-server:8080 - SERVICE_URL=http://judge-server:8080
- BACKEND_URL=http://oj-backend:8000/api/judge_server_heartbeat/ - BACKEND_URL=http://oj-backend:8000/api/judge_server_heartbeat/