From fe27d8cf1e0b2fcb9f5bf6eb6beed7584659a229 Mon Sep 17 00:00:00 2001 From: Colin Date: Fri, 12 Jan 2018 19:02:21 +0000 Subject: [PATCH] refresh 9.3 and 9.2-jre{7,8} --- 9.2-jre7/Dockerfile | 2 +- 9.2-jre8/Dockerfile | 2 +- 9.3-jre8/Dockerfile | 2 +- 9.3-jre8/alpine/Dockerfile | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/9.2-jre7/Dockerfile b/9.2-jre7/Dockerfile index 80cdaba..78cde74 100644 --- a/9.2-jre7/Dockerfile +++ b/9.2-jre7/Dockerfile @@ -8,7 +8,7 @@ ENV PATH $JETTY_HOME/bin:$PATH RUN mkdir -p "$JETTY_HOME" WORKDIR $JETTY_HOME -ENV JETTY_VERSION 9.2.22.v20170606 +ENV JETTY_VERSION 9.2.24.v20180105 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://github.com/eclipse/jetty.project/blob/0607c0e66e44b9c12a62b85551da3a0edce0281e/KEYS.txt) diff --git a/9.2-jre8/Dockerfile b/9.2-jre8/Dockerfile index 2c493d7..e11d87b 100644 --- a/9.2-jre8/Dockerfile +++ b/9.2-jre8/Dockerfile @@ -8,7 +8,7 @@ ENV PATH $JETTY_HOME/bin:$PATH RUN mkdir -p "$JETTY_HOME" WORKDIR $JETTY_HOME -ENV JETTY_VERSION 9.2.22.v20170606 +ENV JETTY_VERSION 9.2.24.v20180105 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://github.com/eclipse/jetty.project/blob/0607c0e66e44b9c12a62b85551da3a0edce0281e/KEYS.txt) diff --git a/9.3-jre8/Dockerfile b/9.3-jre8/Dockerfile index b8a326d..2ec3a38 100644 --- 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.21.v20170918 +ENV JETTY_VERSION 9.3.22.v20171030 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://github.com/eclipse/jetty.project/blob/0607c0e66e44b9c12a62b85551da3a0edce0281e/KEYS.txt) diff --git a/9.3-jre8/alpine/Dockerfile b/9.3-jre8/alpine/Dockerfile index b1c62d9..3c19c2e 100644 --- a/9.3-jre8/alpine/Dockerfile +++ b/9.3-jre8/alpine/Dockerfile @@ -8,7 +8,7 @@ ENV PATH $JETTY_HOME/bin:$PATH RUN mkdir -p "$JETTY_HOME" WORKDIR $JETTY_HOME -ENV JETTY_VERSION 9.3.21.v20170918 +ENV JETTY_VERSION 9.3.22.v20171030 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://github.com/eclipse/jetty.project/blob/0607c0e66e44b9c12a62b85551da3a0edce0281e/KEYS.txt)