File tree 2 files changed +30
-0
lines changed
2 files changed +30
-0
lines changed Original file line number Diff line number Diff line change @@ -128,6 +128,9 @@ docker exec -it domserver supervisorctl restart [service]
128
128
129
129
where ` [service] ` is one of ` nginx ` or ` php ` .
130
130
131
+ #### Docker-compose
132
+ See https://github.com/DOMjudge/domjudge-packaging/blob/main/docker/docker-compose.yml for a docker-compose example which automates the steps above.
133
+
131
134
### Judgehost container
132
135
133
136
To run a single judgehost, run the following command:
Original file line number Diff line number Diff line change
1
+ version : ' 3'
2
+
3
+ services :
4
+ mariadb :
5
+ image : docker.io/mariadb
6
+ hostname : mariadb
7
+ environment :
8
+ - MYSQL_ROOT_PASSWORD=domjudge
9
+ - MYSQL_USER=domjudge
10
+ - MYSQL_PASSWORD=djpw
11
+ - MYSQL_DATABASE=domjudge
12
+ ports :
13
+ - 13306:3306
14
+ command : --max-connections=1000 --max-allowed-packet=512M
15
+ volumes :
16
+ - /var/lib/mysql
17
+ domjudge :
18
+ image : docker.io/domjudge/domserver
19
+ hostname : domserver
20
+ environment :
21
+ - MYSQL_ROOT_PASSWORD=domjudge
22
+ - MYSQL_USER=domjudge
23
+ - MYSQL_PASSWORD=djpw
24
+ - MYSQL_DATABASE=domjudge
25
+ - MYSQL_HOST=mariadb
26
+ ports :
27
+ - 12345:80
You can’t perform that action at this time.
0 commit comments