| commit | 77909aeb8b2644dba7cdab375d1bb4789a4b838a | [log] [tgz] |
|---|---|---|
| author | Helge <stallkamp@ids-mannheim.de> | Tue Nov 21 16:19:08 2023 +0100 |
| committer | Helge <stallkamp@ids-mannheim.de> | Wed Nov 22 17:16:07 2023 +0100 |
| tree | 6e964e4666ea2d28b753400e6572dcca1785d18c | |
| parent | 36e35da7bdb851fd08d8da63327dd938a39c212e [diff] |
Stops jettyServer before destroying it Change-Id: I34e3d076fdff654d0cf021dac90f5ef15d276098
diff --git a/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java b/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java index ca0c4c9..8a6421d 100644 --- a/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java +++ b/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java
@@ -73,6 +73,7 @@ jettyServer.join(); } finally { + jettyServer.stop(); jettyServer.destroy(); } }