Merge remote-tracking branch 'origin/master'

# Conflicts: # build.sh
sismics · Sep 28, 2020 · f1eb9b0 · f1eb9b0
2 parents 1a1d1b5 + 4987bdd
commit f1eb9b0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -6,9 +6,9 @@ MAINTAINER Jean-Marc Tremeaux <[email protected]>
 
 # Download and install Jetty
 ENV DEBIAN_FRONTEND noninteractive
-ENV JETTY_VERSION 9.3.11.v20160721
+ENV JETTY_VERSION 9.4.12.v20180830
 RUN wget -nv -O /tmp/jetty.tar.gz \
-    "http://eclipse.org/downloads/download.php?file=/jetty/${JETTY_VERSION}/dist/jetty-distribution-${JETTY_VERSION}.tar.gz&r=1" \
+    "https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${JETTY_VERSION}/jetty-distribution-${JETTY_VERSION}.tar.gz" \
     && tar xzf /tmp/jetty.tar.gz -C /opt \
     && mv /opt/jetty* /opt/jetty \
     && useradd jetty -U -s /bin/false \