[ARVADOS-DEV] updated: 3d57e4066cf615cfcf223e29c3a26fbd76ec755f

[Git user]

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

       via  3d57e4066cf615cfcf223e29c3a26fbd76ec755f (commit)
      from  ae141be42b100652901903ab954defe706eea764 (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 3d57e4066cf615cfcf223e29c3a26fbd76ec755f
Author: Ward Vandewege <ward at curii.com>
Date:   Fri Oct 16 10:57:49 2020 -0400

    Tweak version number parsing (again).
    
    refs #16982
    
    Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward at curii.com>

diff --git a/jenkins/run-deploy.sh b/jenkins/run-deploy.sh
index 9d8ff34..16e9ee3 100755
--- a/jenkins/run-deploy.sh
+++ b/jenkins/run-deploy.sh
@@ -361,7 +361,7 @@ if [[ "$NODE" == "" ]]; then
     fi
 
     set +e
-    CLEAN_VERSION=`echo $VERSION |tr -d '~'`
+    CLEAN_VERSION=`echo $VERSION |sed -e 's/~/./'`
     ssh -t -p$SSH_PORT -o "StrictHostKeyChecking no" -o "ConnectTimeout 125" -o "LogLevel QUIET" $SHELL_NODE_FOR_ARV_KEEPDOCKER "ARVADOS_API_HOST=$ARVADOS_API_HOST ARVADOS_API_TOKEN=$ARVADOS_API_TOKEN arv-keepdocker" |grep -qP "arvados/jobs +$CLEAN_VERSION "
     if [[ $? -eq 0 ]]; then
       set -e

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


hooks/post-receive
--