Update Jetty to 9.3.9

urandom2 · May 27, 2016 · b85547d · b85547d
1 parent 5df93a6
commit b85547d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/9.3-jre8/Dockerfile b/9.3-jre8/Dockerfile
@@ -8,7 +8,7 @@ ENV PATH $JETTY_HOME/bin:$PATH
 RUN mkdir -p "$JETTY_HOME"
 WORKDIR $JETTY_HOME
 
-ENV JETTY_VERSION 9.3.8.v20160314
+ENV JETTY_VERSION 9.3.9.v20160517
 ENV JETTY_TGZ_URL https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/$JETTY_VERSION/jetty-distribution-$JETTY_VERSION.tar.gz
 
 # GPG Keys are personal keys of Jetty committers (see https://dev.eclipse.org/mhonarc/lists/jetty-users/msg05220.html)

diff --git a/9.3-jre8/alpine/Dockerfile b/9.3-jre8/alpine/Dockerfile
@@ -11,7 +11,7 @@ WORKDIR $JETTY_HOME
 ENV JETTY_BASE /var/lib/jetty
 RUN mkdir -p "$JETTY_BASE"
 
-ENV JETTY_VERSION 9.3.8.v20160314
+ENV JETTY_VERSION 9.3.9.v20160517
 ENV JETTY_TGZ_URL https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/$JETTY_VERSION/jetty-distribution-$JETTY_VERSION.tar.gz
 
 # GPG Keys are personal keys of Jetty committers (see https://dev.eclipse.org/mhonarc/lists/jetty-users/msg05220.html)