From: Felix Dörre <felix@dogcraft.de>
Date: Mon, 27 Feb 2017 23:02:59 +0000 (+0100)
Subject: fix: quick development-restart
X-Git-Url: https://code.wpia.club/?p=gigi.git;a=commitdiff_plain;h=7df63396a08d35535e43bb000d629421fbfd25fd;hp=c16982cf659cbd521d587414bcf6f1afc1a6bf6c

fix: quick development-restart

Change-Id: I29ea805efbf4abb74564bea1b819b5a8b8e9f4de
---

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) {