Fix #368

pippo-java · Jul 15, 2017 · f61b7d7 · f61b7d7
1 parent 2871d03
commit f61b7d7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pippo-server-parent/pippo-jetty/src/main/java/ro/pippo/jetty/JettyServer.java b/pippo-server-parent/pippo-jetty/src/main/java/ro/pippo/jetty/JettyServer.java
@@ -84,6 +84,8 @@ public void stop() {
             try {
                 server.stop();
                 executor.shutdownNow();
+            } catch (InterruptedException e) {
+                // ignore
             } catch (Exception e) {
                 throw new PippoRuntimeException(e, "Cannot stop Jetty Server");
             }