Merge branch 'master' into weekly
diff --git a/Dockerfile b/Dockerfile
index f8a55a7..b3e2f96 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -23,12 +23,13 @@
COPY init.groovy /usr/share/jenkins/ref/init.groovy.d/tcp-slave-agent-port.groovy
-ENV JENKINS_VERSION 1.609.1
-ENV JENKINS_SHA 698284ad950bd663c783e99bc8045ca1c9f92159
+ENV JENKINS_VERSION 1.619
+# curl http://repo.jenkins-ci.org/simple/releases/org/jenkins-ci/main/jenkins-war/1.619/jenkins-war-${JENKINS_VERSION}.war.sha1
+ENV JENKINS_SHA 2fce08aaba46cde57398fa484069ab6b95520b7e
# could use ADD but this one does not check Last-Modified header
# see https://github.com/docker/docker/issues/8331
-RUN curl -fL http://mirrors.jenkins-ci.org/war-stable/$JENKINS_VERSION/jenkins.war -o /usr/share/jenkins/jenkins.war \
+RUN curl -fL http://mirrors.jenkins-ci.org/war/$JENKINS_VERSION/jenkins.war -o /usr/share/jenkins/jenkins.war \
&& echo "$JENKINS_SHA /usr/share/jenkins/jenkins.war" | sha1sum -c -
ENV JENKINS_UC https://updates.jenkins-ci.org