commit 2223b66c988029cc389fb91f3213971d56f3fb85
author Vladimir Khlyunev <vkhlyunev@mirantis.com> Tue Oct 03 04:10:40 2023 +0400
committer Vladimir Khlyunev <vkhlyunev@mirantis.com> Thu Oct 12 21:26:21 2023 +0000
tree c7d41d8e3f36708e4cd942f68b6571120ebcdcfe
parent ba43138687ab71289d594272998933462c620e5d

Bump Jenkins to 2.414.2

PROD-37234

Change-Id: I912e7650ec489102a1d33e67e0e493e61161fd25

pre_startup_copy_plugins.sh

diff --git a/pre_startup_copy_plugins.sh b/pre_startup_copy_plugins.sh
index 5e19bca..cc46faf 100644
--- a/pre_startup_copy_plugins.sh
+++ b/pre_startup_copy_plugins.sh
@@ -4,7 +4,7 @@
 # at first boot after upgrading docker. This script should be executed before starting up jenkins.
 # The script will watch "$JENKINS_HOME/.plugins_for_X.XXX.X_installed" file existence.
 set -e
-watchfile="${JENKINS_HOME}/.plugins_for_2.263.4_installed"
+watchfile="${JENKINS_HOME}/.plugins_for_2.414.2_installed"
 
 test -d "${JENKINS_HOME}/plugins" || mkdir -p "${JENKINS_HOME}/plugins"