diff options
author | Matt Rendina <rendinam@users.noreply.github.com> | 2018-02-22 09:56:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-22 09:56:51 -0500 |
commit | 5ddf2fb5f0d05bba6fe82f918f0db3d2c811e1a0 (patch) | |
tree | 2a1b6173530386bb8cb6dd7fdf1077a0b2095f67 /jenkins/dispatch.groovy | |
parent | cceff3699f51499b58af7296e5ae33737d3055bc (diff) | |
download | build_control-5ddf2fb5f0d05bba6fe82f918f0db3d2c811e1a0.tar.gz |
Fix publication lockfile name1.0.20
Diffstat (limited to 'jenkins/dispatch.groovy')
-rw-r--r-- | jenkins/dispatch.groovy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins/dispatch.groovy b/jenkins/dispatch.groovy index 473587f..2da1a79 100644 --- a/jenkins/dispatch.groovy +++ b/jenkins/dispatch.groovy @@ -360,7 +360,7 @@ node(LABEL) { while ( tries_remaining > 0) { println("Waiting ${this.publication_lock_wait_s}s for lockfile release...") sleep(this.publication_lock_wait_s) - if ( !fileExists(file) ) { + if ( !fileExists(lockfile) ) { break } tries_remaining-- |