From 511fc92b06a09917042bcfc43721abef6e023e1c Mon Sep 17 00:00:00 2001 From: Tobias Werth Date: Sun, 5 Oct 2025 21:28:21 +0200 Subject: [PATCH] Fixes discovered when packaging the 9.0.0 release. --- docker/build.sh | 2 +- docker/domserver/Dockerfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/build.sh b/docker/build.sh index c4ba8d1..85c5aca 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -78,7 +78,7 @@ section_end section_start "Push instructions" echo "All done. Image ${NAMESPACE}/domserver:${VERSION} and ${NAMESPACE}/judgehost:${VERSION} created" echo "If you are a DOMjudge maintainer with access to the domjudge organization on Docker Hub, you can now run the following command to push them to Docker Hub:" -echo "$ docker push ${NAMESPACE}/domserver:${VERSION} && docker push ${NAMESPACE}/judgehost:${VERSION} && docker push $NAMESPACE}/default-judgehost-chroot:${VERSION}" +echo "$ docker push ${NAMESPACE}/domserver:${VERSION} && docker push ${NAMESPACE}/judgehost:${VERSION} && docker push ${NAMESPACE}/default-judgehost-chroot:${VERSION}" echo "If this is the latest release, also run the following command:" echo "$ docker tag ${NAMESPACE}/domserver:${VERSION} ${NAMESPACE}/domserver:latest && \ docker tag ${NAMESPACE}/judgehost:${VERSION} ${NAMESPACE}/judgehost:latest && \ diff --git a/docker/domserver/Dockerfile b/docker/domserver/Dockerfile index 3a06f14..d14f16d 100644 --- a/docker/domserver/Dockerfile +++ b/docker/domserver/Dockerfile @@ -8,7 +8,7 @@ RUN apt-get update \ && apt-get install --no-install-recommends --no-install-suggests -y \ autoconf automake git pkg-config \ gcc g++ make acl zip unzip \ - php-cli php-zip \ + php-cli php-zip php-bcmath \ php-gd php-curl php-mysql php-json php-intl \ php-gmp php-xml php-mbstring \ sudo bsdmainutils ntp libcgroup-dev procps \