File tree Expand file tree Collapse file tree 4 files changed +4
-4
lines changed
docker/domserver/scripts/start.d Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ CHROOTDIR=/var/lib/domjudge/chroot
7
7
# To prevent (libc6) upgrade questions:
8
8
export DEBIAN_FRONTEND=noninteractive
9
9
10
- if [ ` id -u` != 0 ]; then
10
+ if [ " $( id -u) " != 0 ]; then
11
11
echo " Warning: you probably need to run this program as root."
12
12
fi
13
13
Original file line number Diff line number Diff line change @@ -49,7 +49,7 @@ RUN ln -sf /dev/stdout /var/log/nginx/access.log \
49
49
# Set up users
50
50
RUN useradd -m domjudge \
51
51
&& groupadd domjudge-run \
52
- && for id in ` seq 0 4` ; do useradd -d /nonexistent -g nogroup -s /bin/false domjudge-run-$id; done
52
+ && for id in $( seq 0 4) ; do useradd -d /nonexistent -g nogroup -s /bin/false domjudge-run-$id; done
53
53
54
54
# Install composer
55
55
RUN apt update && \
Original file line number Diff line number Diff line change 75
75
if ! mysqlshow -u" ${MYSQL_USER} " -p" ${MYSQL_PASSWORD} " -h" ${MYSQL_HOST} " " ${MYSQL_DATABASE} " > /dev/null 2>&1
76
76
then
77
77
echo " MySQL database ${MYSQL_DATABASE} not yet found on host ${MYSQL_HOST} ;"
78
- let " DB_UP--"
78
+ (( DB_UP-- ))
79
79
sleep 30s
80
80
else
81
81
DB_UP=0
Original file line number Diff line number Diff line change 198
198
if ! mysqlshow -u" ${MYSQL_USER} " -p" ${MYSQL_PASSWORD} " -h" ${MYSQL_HOST} " " ${MYSQL_DATABASE} " > /dev/null 2>&1
199
199
then
200
200
echo " MySQL database ${MYSQL_DATABASE} not yet found on host ${MYSQL_HOST} ;"
201
- let " DB_UP--"
201
+ (( DB_UP-- ))
202
202
sleep 10s
203
203
else
204
204
DB_UP=0
You can’t perform that action at this time.
0 commit comments