qurator-spk/ocrd-galley
1
0
Fork 0
mirror of https://github.com/qurator-spk/ocrd-galley.git synced 2025-10-30 18:54:14 +01:00
Code Issues Projects Releases Wiki Activity

Merge branch 'master' of code.dev.sbb.berlin:qurator/ocrd-galley

Browse source
This commit is contained in:
Gerber, Mike 2023-02-03 18:06:53 +01:00
commit ac0a636c7b
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
wrapper/qurator/ocrd_galley/cli.py
View file

@ -65,6 +65,7 @@ def docker_run(argv, docker_image):
docker_run_options.extend(["--mount", "type=bind,src=%s,target=/data" % os.getcwd()]) docker_run_options.extend(["--mount", "type=bind,src=%s,target=/data" % os.getcwd()])
docker_run_options.extend(["--user", "%s:%s" % (os.getuid(), os.getgid())]) docker_run_options.extend(["--user", "%s:%s" % (os.getuid(), os.getgid())])
docker_run_options.extend(["-e", "LOG_LEVEL=%s" % LOG_LEVEL]) docker_run_options.extend(["-e", "LOG_LEVEL=%s" % LOG_LEVEL])
docker_run_options.extend(["-e", "_OCRD_COMPLETE"])
# JAVA_TOOL_OPTIONS is used for Java proxy settings # JAVA_TOOL_OPTIONS is used for Java proxy settings
if os.environ.get("JAVA_TOOL_OPTIONS"): if os.environ.get("JAVA_TOOL_OPTIONS"):