From 66acbda4fb09f1b284ddf3ffdb592ce887b578c3 Mon Sep 17 00:00:00 2001
From: Daniel Gerhardt <code@dgerhardt.net>
Date: Sat, 7 Jul 2018 23:05:14 +0200
Subject: [PATCH] Disable Jetty's auto reloading

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 8cf5a0596..bad6cc913 100644
--- a/pom.xml
+++ b/pom.xml
@@ -345,7 +345,7 @@
 				<artifactId>jetty-maven-plugin</artifactId>
 				<version>9.4.11.v20180605</version>
 				<configuration>
-					<scanIntervalSeconds>1</scanIntervalSeconds>
+					<scanIntervalSeconds>0</scanIntervalSeconds>
 					<webApp>
 						<overrideDescriptor>src/main/webapp/WEB-INF/web-dev.xml</overrideDescriptor>
 						<webInfIncludeJarPattern>^$</webInfIncludeJarPattern>
-- 
GitLab