Set the user/group to well known id

Author: Michael Vasseur

docker/domserver/Dockerfile

@@ -4,7 +4,8 @@ LABEL org.opencontainers.image.authors="DOMjudge team <team@domjudge.org>"
 ENV DEBIAN_FRONTEND=noninteractive
 
 # Set up user
-RUN useradd -m domjudge
+RUN groupadd domjudge -g2004
+RUN useradd -m domjudge -u2004 -g2004
 
 # Install required packages for build of domserver
 RUN apt-get update \

docker/judgehost/Dockerfile

@@ -11,7 +11,8 @@ ENV DEBIAN_FRONTEND=noninteractive \
 	RUN_USER_UID_GID=62860
 
 # Set up user
-RUN useradd -m domjudge
+RUN groupadd domjudge -g2004
+RUN useradd -m domjudge -u2004 -g2004
 
 # Install required packages for running of judgehost
 RUN apt-get update \

docker/judgehost/Dockerfile.build

@@ -4,7 +4,8 @@ LABEL org.opencontainers.image.authors="DOMjudge team <team@domjudge.org>"
 ENV DEBIAN_FRONTEND=noninteractive
 
 # Set up user
-RUN useradd -m domjudge
+RUN groupadd domjudge -g2004
+RUN useradd -m domjudge -u2004 -g2004
 
 # Install required packages for build of judgehost
 RUN apt-get update \