Merge pull request #38 from privacybydesign/docker-fix-ctrl-c

Fix: Dockerfile not stopping on Ctrl-C
privacybydesign · Dec 4, 2023 · 29799b5 · 29799b5
2 parents 39dce87 + 7e65462
commit 29799b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -31,4 +31,4 @@ COPY --from=javabuild /app/build/libs/irma_email_issuer-1.1.0.war /usr/local/tom
 EXPOSE 8080
 
 # Copy the config file to the webapp. This is done at runtime so that the config file can be mounted as a volume.
-CMD [ "/bin/sh", "-c", "for lang in 'en' 'nl'; do cp /config/config.js /usr/local/tomee/webapps/ROOT/$lang/assets/config.js; done && catalina.sh run" ]
+CMD [ "/bin/sh", "-c", "for lang in 'en' 'nl'; do cp /config/config.js /usr/local/tomee/webapps/ROOT/$lang/assets/config.js; done && exec catalina.sh run" ]