From dba5539e3e4c1bff64c81642fc2bafd1e03d3ac7 Mon Sep 17 00:00:00 2001
From: Naoki Takezoe <takezoe@gmail.com>
Date: Wed, 10 Aug 2016 20:57:44 +0900
Subject: [PATCH] (refs #1267) Graceful shutdown for the embedded jetty

---
 src/main/java/JettyLauncher.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/JettyLauncher.java b/src/main/java/JettyLauncher.java
index 7eaecd929..443954c7b 100644
--- a/src/main/java/JettyLauncher.java
+++ b/src/main/java/JettyLauncher.java
@@ -60,6 +60,8 @@ public class JettyLauncher {
         }
 
         server.setHandler(context);
+        server.setStopAtShutdown(true);
+        server.setStopTimeout(7_000);
         server.start();
         server.join();
     }