diff --git a/doc/manual/config-advanced.rst b/doc/manual/config-advanced.rst index 72b8016740..96150a8aeb 100644 --- a/doc/manual/config-advanced.rst +++ b/doc/manual/config-advanced.rst @@ -238,7 +238,7 @@ selected in the ``special_run`` and/or ``special_compare`` fields of the problem (an empty value means that the default run and compare scripts should be used; the defaults can be set in the global configuration settings). When creating custom run and compare -programs, we recommend re-using wrapper scripts that handle the +programs, we recommend reusing wrapper scripts that handle the tedious, standard part. See the boolfind example for details. Compare programs diff --git a/doc/manual/install-judgehost.rst b/doc/manual/install-judgehost.rst index 24c69bba55..454e38246f 100644 --- a/doc/manual/install-judgehost.rst +++ b/doc/manual/install-judgehost.rst @@ -68,6 +68,15 @@ example to install DOMjudge in the directory ``domjudge`` under `/opt`:: make judgehost sudo make install-judgehost +Example service files for the judgehost and the judgedaemon are provided in +``judge/create-cgroups.service`` and ``judge/domjudge-judgedaemon@.service``. The rest of the manual assumes you install those +in a location which is picked up by ``systemd``, for example ``/etc/systemd/system``. + +.. parsed-literal:: + + cp judge/domjudge-judgedaemon@.service /etc/systemd/system/ + cp judge/create-cgroups.service /etc/systemd/system/ + The judgedaemon can be run on various hardware configurations; - A virtual machine, typically these have 1 or 2 cores and no hyperthreading, because the kernel will schedule its own tasks on CPU 0, we advice CPU 1,