judge-server
judge-server copied to clipboard
Create a configuration file for the judge inside the container.
Then we can use this command to run the judge
docker run \
--name judge \
-v /mnt/dmoj/problems:/problems \
--cap-add=SYS_PTRACE \
-d \
dmoj/judge-tier3:latest \
run -c /judge.yml $BRIDGE_ADDRESS $JUDGE_NAME $JUDGE_KEY
Some benefits of this command are:
- No need to extract the contents of the file
/judge-runtime-paths.ymloutside the container for the configuration of the judge. - It is easier to run multiple judges using different values for the variables JUDGE_NAME and JUDGE_KEY.
Can one of the admins verify this patch?