From 1c36476df12d2bc4556eb752b3dcf429906f5402 Mon Sep 17 00:00:00 2001
From: Mattia Rizzolo <mattia@mapreri.org>
Date: Thu, 16 Apr 2015 18:35:43 +0200
Subject: update_jdn: fixup last commit. files have extensions.

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

diff --git a/update_jdn.sh b/update_jdn.sh
index c2ffb08b..b9f03472 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -306,7 +306,7 @@ cd $BASEDIR
 KGB_SECRETS="/srv/jenkins/kgb/secrets.yml"
 if [ -f "$KGB_SECRETS" ] && [ $(stat -c "%a:%U:%G" "$KGB_SECRETS") = "640:jenkins-adm:jenkins-adm" ] ; then
     # to assure the files are owned by the right user/team
-    sudo -u jenkins-adm "$BASEDIR/deploy-kgb"
+    sudo -u jenkins-adm "$BASEDIR/deploy-kgb.py"
 else
     echo "Warning: $KGB_SECRETS either does not exist or has bad permissions. Please fix. KGB configs not generated"
     echo "We expect the secrets file to be mode 640 and owned by jenkins-adm:jenkins-adm."
-- 
cgit v1.2.3-70-g09d2