From 4e46ec2ad3ebe51ebdea6bee88f87cbef384deb0 Mon Sep 17 00:00:00 2001 From: Jean-Philippe Orsini Date: Fri, 13 Oct 2017 22:52:12 +0200 Subject: [PATCH] do not monitor changes in the config or app --- war/server.xml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/war/server.xml b/war/server.xml index 84e6ff4..0ac7d29 100644 --- a/war/server.xml +++ b/war/server.xml @@ -1,6 +1,7 @@ - + + servlet-3.1 @@ -15,4 +16,10 @@ + + + + + + -- 2.7.4