diff --git a/src/main/java/de/uni_hamburg/corpora/server/Main.java b/src/main/java/de/uni_hamburg/corpora/server/Main.java index 5876370405bece732bcaa05b0b44af73fa5a4083..2538d50fb0010cf1a73943c7987c40be44f03c5b 100644 --- a/src/main/java/de/uni_hamburg/corpora/server/Main.java +++ b/src/main/java/de/uni_hamburg/corpora/server/Main.java @@ -86,6 +86,7 @@ public class Main { else { main.logger.info("Problem opening browser"); } + // Add proper shutdown when server is exited Runtime.getRuntime().addShutdownHook(new Thread(() -> { main.logger.info("Shutting down server"); server.shutdown();