From 638ef2a38b676d8bb919d25ce9ce092d6ecbd3fe Mon Sep 17 00:00:00 2001
From: =?utf8?q?Felix=20D=C3=B6rre?= <felix@dogcraft.de>
Date: Mon, 27 Oct 2014 18:55:51 +0100
Subject: [PATCH] add: Smooth restart for the DevelLauncher

---
 src/org/cacert/gigi/DevelLauncher.java | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/src/org/cacert/gigi/DevelLauncher.java b/src/org/cacert/gigi/DevelLauncher.java
index 0e1564c8..2cc7f634 100644
--- a/src/org/cacert/gigi/DevelLauncher.java
+++ b/src/org/cacert/gigi/DevelLauncher.java
@@ -11,6 +11,7 @@ import java.io.InputStream;
 import java.io.InputStreamReader;
 import java.io.OutputStream;
 import java.lang.reflect.Field;
+import java.net.URL;
 import java.nio.file.Files;
 import java.nio.file.Paths;
 import java.util.HashMap;
@@ -38,6 +39,13 @@ public class DevelLauncher {
             }
             i++;
         }
+        try {
+            String targetPort = mainProps.getProperty("http.port");
+            String targetHost = mainProps.getProperty("name.www");
+            URL u = new URL("http://" + targetHost + ":" + targetPort + "/kill");
+            u.openStream();
+        } catch (IOException e) {
+        }
 
         ByteArrayOutputStream chunkConfig = new ByteArrayOutputStream();
         DataOutputStream dos = new DataOutputStream(chunkConfig);
@@ -76,6 +84,18 @@ public class DevelLauncher {
 
                 }
 
+                @Override
+                public boolean needsLogin() {
+                    return false;
+                }
+            });
+            pages.put("/kill", new Page("Kill") {
+
+                @Override
+                public void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException {
+                    System.exit(0);
+                }
+
                 @Override
                 public boolean needsLogin() {
                     return false;
-- 
2.39.2