From 1a20fe8f383962cab0af0f566372e6b9f03e8a79 Mon Sep 17 00:00:00 2001
From: RobinSchaefer <robin.schaefer@posteo.de>
Date: Tue, 4 Feb 2020 16:51:38 +0100
Subject: [PATCH] Add work around concurrency problems

---
 Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 6098f0a..62dc01e 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -82,6 +82,9 @@ COPY xsd/*            /usr/share/xml/
 RUN pip3 install --no-cache-dir pipdeptree && \
     pipdeptree -w fail
 
+# XXX Work around concurrency problems(?)
+RUN sed -i 's#num_cores *= *cpu_count()#num_cores = 1#' /usr/local/lib/python3.6/dist-packages/qurator/sbb_textline_detector/main.py
+
 
 WORKDIR /data
 CMD ["/usr/bin/my_ocrd_workflow"]