Merge branch 'master' into EP-4049-connection-refresh

Open-EO · Oct 27, 2021 · c1897a0 · c1897a0
2 parents f1ddc37 + 6d33692
commit c1897a0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -12,6 +12,6 @@ pythonPipeline {
   docker_deploy = true
   dev_hosts = 'docker-services01.vgt.vito.be'
   prod_hosts = 'docker-services01-prod.vgt.vito.be'
-  docker_run_options_dev = ['-e ENV=dev', '-p 8080:8080']
-  docker_run_options_prod = ['-e ENV=prod', '-p 8080:8080']
+  docker_run_options_dev = ['-e ENV=dev', '-p 8081:8080']
+  docker_run_options_prod = ['-e ENV=prod', '-p 8081:8080']
 }