X-Git-Url: https://code.wpia.club/?a=blobdiff_plain;ds=sidebyside;f=util-testing%2Fclub%2Fwpia%2Fgigi%2FDevelLauncher.java;h=9789637a6b7c3fa8e6548fb119cf3e8c58907c3b;hb=eef9ff31b842e2f08975d1826491a16edda5972f;hp=306c6474304b30c8a7cb2681117a98f58e7cf6e8;hpb=119ca50f4a86da82d68c12e6828b9f65e91e8006;p=gigi.git

diff --git a/util-testing/club/wpia/gigi/DevelLauncher.java b/util-testing/club/wpia/gigi/DevelLauncher.java
index 306c6474..9789637a 100644
--- a/util-testing/club/wpia/gigi/DevelLauncher.java
+++ b/util-testing/club/wpia/gigi/DevelLauncher.java
@@ -103,7 +103,7 @@ public class DevelLauncher {
     private static void killPreviousInstance(Properties mainProps) {
         try {
             String targetPort = mainProps.getProperty("http.port");
-            String targetHost = mainProps.getProperty("name.www");
+            String targetHost = mainProps.getProperty("name.www", "www." + mainProps.getProperty("name.suffix"));
             URL u = new URL("http://" + targetHost + ":" + targetPort + "/kill");
             u.openStream();
         } catch (IOException e) {