| commit | 0bdcab2be1efed1f5191f7f1fa839911cf826d53 | [log] [tgz] |
|---|---|---|
| author | Akron <nils@diewald-online.de> | Thu Nov 19 18:36:16 2020 +0100 |
| committer | Akron <nils@diewald-online.de> | Thu Nov 19 18:36:16 2020 +0100 |
| tree | 2fe1e0063c250974100f91910917e5c8fd9e1621 | |
| parent | 28214a5aa6254c4365b721b9b4807a8b8da29069 [diff] [blame] |
Minor changes to the UI and fixes to empty corpus queries Change-Id: If9dce8fd2cdfe441a6637d6caaaa334e6921d420
diff --git a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java index 8bbd366..d51c2e7 100644 --- a/plugin/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java +++ b/plugin/src/main/java/de/ids_mannheim/korap/plkexport/PluginServer.java
@@ -60,7 +60,7 @@ properties.getProperty("api.scheme") + "://" + properties.getProperty("api.host") + - properties.getProperty("api.path") + ":" + + properties.getProperty("api.path","") + ":" + properties.getProperty("api.port") ); jettyServer.join();