From e95d301524b23378a2fdd645bca35fd306b92f8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adam=20Wa=C5=82ach?= <adam.walach@gmail.com>
Date: Thu, 31 Aug 2017 14:13:35 +0200
Subject: [PATCH] Fix tomcat dockerfile

ROOT.war is not deployed if old ROOT directory is present
---
 Dockerfile.tomcat | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile.tomcat b/Dockerfile.tomcat
index 877c317..e8bb7db 100644
--- a/Dockerfile.tomcat
+++ b/Dockerfile.tomcat
@@ -5,4 +5,5 @@ RUN apt-get update && \
     apt-get install -y --no-install-recommends graphviz fonts-wqy-zenhei && \
     rm -rf /var/lib/apt/lists/*
 
+RUN rm -rf /usr/local/tomcat/webapps/ROOT
 ADD target/plantuml.war /usr/local/tomcat/webapps/ROOT.war