diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 29d065f..05c4617 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -75,8 +75,8 @@ pipeline { script { env.REDIS_DB = new Random().nextInt(1024).toString() - env.REDIS = "redis://${env.REDIS}:6379/${env.REDIS_DB}" - env.THL_REDIS = "redis://${env.THLREDIS}:6379/${env.REDIS_DB}" + env.REDIS = "${env.REDIS}:6379/${env.REDIS_DB}" + env.THL_REDIS = "${env.THL_REDIS}:6379/${env.REDIS_DB}" echo "Using THL Redis: ${env.REDIS}" if (sh(script: "redis-cli -u ${env.REDIS} SET jenkins_lock 1 NX EX 3600", returnStdout: true).trim() != 'OK') error('Redis already locked... aborting.') |