[ARVADOS-DEV] updated: ede2bd8de3da671033441b5b8906caeb5d06ecd1

[Git user]

Summary of changes:
 jenkins/run-deploy.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

       via  ede2bd8de3da671033441b5b8906caeb5d06ecd1 (commit)
      from  1a5ba14733ac4e190874334cec7b5a962f46870e (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit ede2bd8de3da671033441b5b8906caeb5d06ecd1
Author: Fernando Monserrat <fernando.monserrat at gmail.com>
Date:   Fri Nov 17 14:48:31 2017 -0300

    refs #1572: commit not committed changes on ci server bringing up to date
    
        update to avoid overwritte uncommited changes on ci
    
        Arvados-DCO-1.1-Signed-off-by: Fernando Monserrat <fmonserrat at veritasgenetics.com>

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index a63fd68..ba42008 100755
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -212,8 +212,8 @@ if [[ "$ARVADOS_API_HOST" == "" ]] || [[ "$ARVADOS_API_TOKEN" == "" ]]; then
 fi
 
 title "Gathering list of shell and Keep nodes"
-SHELL_NODES=`ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv virtual_machine list |jq .items[].hostname -r`
-KEEP_NODES=`ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv keep_service list |jq .items[].service_host -r`
+SHELL_NODES=`ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN rvm-exec default arv virtual_machine list |jq .items[].hostname -r`
+KEEP_NODES=`ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN rvm-exec default arv keep_service list |jq .items[].service_host -r`
 
 nodes=""
 for n in workbench manage switchyard $SHELL_NODES $KEEP_NODES; do

-----------------------------------------------------------------------


hooks/post-receive
--