Public Repository

Last pushed: a month ago
Short Description
DOMjudge judgehost image
Full Description

DOMjudge server image

This image together with the DOMjudge domserver image can be used to run DOMjudge using Docker.

Using the images

MariaDB container

Before starting the containers, make sure you have a MySQL / MariaDB database somewhere. The easiest way to get one up and running is to use the MariaDB Docker container:

docker run -it --name dj-mariadb -e MYSQL_ROOT_PASSWORD=rootpw -e MYSQL_USER=domjudge -e MYSQL_PASSWORD=djpw -e MYSQL_DATABASE=domjudge -p 13306:3306 mariadb --max-connections=1000

This will start a MariaDB container, set the root password to rootpw, create a MySQL user named domjudge with password djpw and create an empty database named domjudge. It will also expose the server on port 13306 on your local machine, so you can use your favorite MySQL GUI to connect to it. If you want to save the MySQL data after removing the container, please read the MariaDB Docker Hub page for more information.

DOMserver container

Next, if you are on Linux make sure you have cgroups enabled. See the DOMjudge documentation about setting up a judgehost for information about how to do this. Docker on Windows and macOS actually use a small Linux VM which already has these options set.

Now you can run the domserver using the following command:

docker run -v /sys/fs/cgroup:/sys/fs/cgroup:ro --link dj-mariadb:mariadb -it -e MYSQL_HOST=mariadb -e MYSQL_USER=domjudge -e MYSQL_DATABASE=domjudge -e MYSQL_PASSWORD=djpw -e MYSQL_ROOT_PASSWORD=rootpw -p 12345:80 --name domserver domjudge/domserver:latest

If you want a specific DOMjudge version instead of the latest, replace latest with the DOMjudge version (e.g. 5.3.0).

The above command will start the container and set up the database. It will then start nginx and PHP-FPM using supervisord.

You can now access the web interface on http://localhost:12345/. Use username admin and password admin to log in. Note that for DOMjudge 6.0.0 and higher the webserver configuration will be set up such that the debug front controller will be used.

Make sure you change the password of the judgehost account in the webinterface to something and write down the value.

Environment variables

The following environment variables are supported by the domserver container:

  • CONTAINER_TIMEZONE (defaults to Europe/Amsterdam): allows you to change the timezone used inside the container.
  • MYSQL_HOST (defaults to mariadb): set the host to connect to for MySQL. Can be hostname or IP. Docker will add hostnames for any containers you --link, so in the example above, the MariaDB container will be available under the hostname mariadb.
  • MYSQL_USER (defaults to domjudge): set the user to use for connecting to MySQL.
  • MYSQL_PASSWORD (defaults to domjudge): set the password to use for connecting to MySQL.
  • MYSQL_ROOT_PASSWORD (defaults to domjudge): set the root password to use for connecting to MySQL.
  • MYSQL_DATABASE (defaults to domjudge): set the database to use.
  • DJ_DB_INSTALL_BARE (defaults to 0): set to 1 to do a bare-install for the database instead of a normal install.

Commands

The domserver container supports a few commands. You can run all commands using the following syntax:

docker exec -it domserver [command]

If you have named your container something other than domserver, be sure to change it in the command as well.

The following commands are available:

  • nginx-access-log: tail the access log of nginx.
  • nginx-error-log: tail the error log of nginx.
  • symfony-log: for DOMjudge using Symfony (i.e. 6.x and higher), tail the symfony log.

Of course, you can always run docker exec -it domserver bash to get a bash shell inside the container.

To restart any of the services, run the following:

docker exec -it domserver supervisorctl restart [service]

where [service] is one of nginx or php,

Judgehost container

To run a single judgehost, run the following command:

docker run -it --privileged -v /sys/fs/cgroup:/sys/fs/cgroup:ro --name judgehost-0 --link domserver:domserver --hostname judgedaemon-0 -e DAEMON_ID=0 domjudge/judgehost:latest

Again, replace latest with a specific version if desired. Make sure the version matches the version of the domserver.

This will start up a judgehost that is locked to the first CPU core of your machine.

If the judgedaemon stops for whatever reason, you should be able to see the error it produced in the shell where you started the judgehost. If you want to restart the judgehost, run docker start judgehost-0, where judgehost-0 is the value you passed to --name in the docker run command.

Environment variables

The following environment variables are supported by the judgehost container:

  • CONTAINER_TIMEZONE (defaults to Europe/Amsterdam): allows you to change the timezone used inside the container.
  • DOMSERVER_BASEURL (defaults to http://domserver/): base URL where the domserver can be found. The judgehost uses this to connect to the API. Do not add api yourself, as the container will do this!
  • JUDGEDAEMON_USERNAME (defaults to judgehost): username used to connect to the API.
  • JUDGEDAEMON_PASSWORD (defaults to password): password used to connect to the API. This should be the value of the judgehost password you wrote down earlier.
  • DAEMON_ID (defaults to 0): ID of the daemon to use for this judgedaemon. If you start multiple judgehosts on one (physical) machine, make sure each one has a different DAEMON_ID.

Image source

The source of these images can be found on the domjudge-packaging GitHub project.

Docker Pull Command
Owner
domjudge