This repository was archived by the owner on Jun 29, 2020. It is now read-only.
File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ ENV PATH $JETTY_HOME/bin:$PATH
8
8
RUN mkdir -p "$JETTY_HOME"
9
9
WORKDIR $JETTY_HOME
10
10
11
- ENV JETTY_VERSION 9.2.15.v20160210
11
+ ENV JETTY_VERSION 9.2.17.v20160517
12
12
ENV JETTY_TGZ_URL https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/$JETTY_VERSION/jetty-distribution-$JETTY_VERSION.tar.gz
13
13
14
14
# GPG Keys are personal keys of Jetty committers (see https://dev.eclipse.org/mhonarc/lists/jetty-users/msg05220.html)
Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ ENV PATH $JETTY_HOME/bin:$PATH
8
8
RUN mkdir -p "$JETTY_HOME"
9
9
WORKDIR $JETTY_HOME
10
10
11
- ENV JETTY_VERSION 9.2.15.v20160210
11
+ ENV JETTY_VERSION 9.2.17.v20160517
12
12
ENV JETTY_TGZ_URL https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/$JETTY_VERSION/jetty-distribution-$JETTY_VERSION.tar.gz
13
13
14
14
# GPG Keys are personal keys of Jetty committers (see https://dev.eclipse.org/mhonarc/lists/jetty-users/msg05220.html)
Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ ENV PATH $JETTY_HOME/bin:$PATH
8
8
RUN mkdir -p "$JETTY_HOME"
9
9
WORKDIR $JETTY_HOME
10
10
11
- ENV JETTY_VERSION 9.3.8.v20160314
11
+ ENV JETTY_VERSION 9.3.9.v20160517
12
12
ENV JETTY_TGZ_URL https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/$JETTY_VERSION/jetty-distribution-$JETTY_VERSION.tar.gz
13
13
14
14
# GPG Keys are personal keys of Jetty committers (see https://dev.eclipse.org/mhonarc/lists/jetty-users/msg05220.html)
You can’t perform that action at this time.
0 commit comments