From 7df63396a08d35535e43bb000d629421fbfd25fd Mon Sep 17 00:00:00 2001 From: =?utf8?q?Felix=20D=C3=B6rre?= Date: Tue, 28 Feb 2017 00:02:59 +0100 Subject: [PATCH] fix: quick development-restart Change-Id: I29ea805efbf4abb74564bea1b819b5a8b8e9f4de --- util-testing/club/wpia/gigi/DevelLauncher.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) { -- 2.39.2