From 017c01d33f92fc2cf603c2430c1621a979b543ef Mon Sep 17 00:00:00 2001
From: "Gerber, Mike" <mike.gerber@sbb.spk-berlin.de>
Date: Fri, 21 May 2021 17:57:54 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=90=9B=20ocrd-galley:=20APass=20through?=
 =?UTF-8?q?=20JAVA=5FTOOL=5FOPTIONS=20for=20ocrd=5Ffileformat?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 wrapper/qurator/ocrd_galley/cli.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/wrapper/qurator/ocrd_galley/cli.py b/wrapper/qurator/ocrd_galley/cli.py
index bee41a2..3f35922 100644
--- a/wrapper/qurator/ocrd_galley/cli.py
+++ b/wrapper/qurator/ocrd_galley/cli.py
@@ -63,6 +63,10 @@ def docker_run(argv, docker_image):
     docker_run_options.extend(["--user", "%s:%s" % (os.getuid(), os.getgid())])
     docker_run_options.extend(["-e", "LOG_LEVEL=%s" % LOG_LEVEL])
 
+    # JAVA_TOOL_OPTIONS is used for Java proxy settings
+    if os.environ.get("JAVA_TOOL_OPTIONS"):
+        docker_run_options.extend(["-e", "JAVA_TOOL_OPTIONS"])
+
     # The containers currently need to run privileged to allow it to read from e.g.
     # /home on SELinux secured systems such as Fedora. We might want to use udica
     # instead in the future.