From b91e8cb4893eaea381f40b519a3216d55cb19a6c Mon Sep 17 00:00:00 2001
From: Stefaan Lippens <stefaan.lippens@vito.be>
Date: Tue, 3 Oct 2023 15:54:30 +0200
Subject: [PATCH] #117 Remove docker_run_options from Jenkinsfile

now managed from hiera-resenv (see GDD-2861)
---
 Jenkinsfile | 4 ----
 1 file changed, 4 deletions(-)

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 = [