Revert "Revert "Make the server's BASE_URL configurable""

This reverts commit 5501258087.
2018-12-03 18:30:47 +09:00
parent 5501258087
commit 38772dedd3
2 changed files with 5 additions and 3 deletions
--- a/Dockerfile.jetty
+++ b/Dockerfile.jetty
@@ -21,4 +21,5 @@ USER jetty

 ENV GRAPHVIZ_DOT=/usr/bin/dot

-COPY --from=builder /app/target/plantuml.war /var/lib/jetty/webapps/ROOT.war
+ARG BASE_URL=plantuml
+COPY --from=builder /app/target/plantuml.war /var/lib/jetty/webapps/$BASE_URL.war