Changeset 65f9dec


Ignore:
Timestamp:
May 26, 2017, 4:36:37 PM (4 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
5c69a1e
Parents:
ff03f5c
Message:

Added small delay to jenkins notification to mitigate race condition

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    rff03f5c r65f9dec  
    2828                wrap([$class: 'TimestamperBuildWrapper']) {
    2929
    30                         notify_server()
     30                        notify_server(1)
    3131
    3232                        prepare_build()
     
    4646                        publish()
    4747
    48                         notify_server()
     48                        notify_server(45)
    4949                }
    5050        }
     
    171171}
    172172
    173 def notify_server() {
    174         sh 'curl --silent -X POST http://plg2:8082/jenkins/notify > /dev/null || true'
     173def notify_server(int wait) {
     174        sh """curl --silent --data "wait=${wait}" -X POST http://plg2:8082/jenkins/notify > /dev/null || true"""
    175175        return
    176176}
Note: See TracChangeset for help on using the changeset viewer.