diff --git a/Jenkinsfile b/Jenkinsfile index 04a02caa..e99a1e7f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -12,10 +12,6 @@ pythonPipeline { docker_deploy = true dev_hosts = 'docker-services-dev-01.vgt.vito.be' prod_hosts = 'docker-services-prod-01.vgt.vito.be' - // TODO #117: these docker_run_options settings don't seem to do much. Remove them? - // Real config for env vars seems to be in puptap/hiera-resenv.git. Also see GDD-2861 - // docker_run_options_dev = ['-e OPENEO_AGGREGATOR_CONFIG=/home/openeo/aggregator/conf/aggregator.dev.py', '-p 8081:8080'] - docker_run_options_prod = ['-e OPENEO_AGGREGATOR_CONFIG=/home/openeo/aggregator/conf/aggregator.prod.py', '-p 8081:8080'] pep440 = true notification_channel = 'openeo-devs' extra_env_variables = [