From f96598e4d51b05f057db98abf34da7088653ca3c Mon Sep 17 00:00:00 2001
From: Mattia Rizzolo <mattia@debian.org>
Date: Sun, 2 Oct 2016 10:08:40 +0000
Subject: update_jdn: also update kgb_configs when deploy_kgb.py has been
 modified

---
 update_jdn.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_jdn.sh b/update_jdn.sh
index 245fbdad..6be6b2a8 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -640,7 +640,7 @@ if [ "$HOSTNAME" = "jenkins" ] || [ "$HOSTNAME" = "profitbricks-build3-amd64" ]
 	KGB_SECRETS="/srv/jenkins/kgb/secrets.yml"
 	if [ -f "$KGB_SECRETS" ] && [ $(stat -c "%a:%U:%G" "$KGB_SECRETS") = "640:jenkins-adm:jenkins-adm" ] ; then
 		# the last condition is to assure the files are owned by the right user/team
-		if [ "$KGB_SECRETS" -nt $STAMP ] || [ ! -f $STAMP ] ; then
+		if [ "$KGB_SECRETS" -nt $STAMP ] || [ "deploy_kgb.py" -nt "$STAMP" ] || [ ! -f $STAMP ] ; then
 			sudo -u jenkins-adm "./deploy_kgb.py"
 		else
 			explain "kgb-client configuration unchanged, nothing to do."
-- 
cgit v1.2.3-54-g00ecf