Gracefull shutdown devel system.

diff --git a/src/org/cacert/gigi/DevelLauncher.java b/src/org/cacert/gigi/DevelLauncher.java
index 254b1e72f05d1e37b3816d0a9154b452874d9468..3a78d6286f8902af29099f6fe0d4e0216c65e228 100644 (file)
--- a/src/org/cacert/gigi/DevelLauncher.java
+++ b/src/org/cacert/gigi/DevelLauncher.java
@@ -1,5 +1,6 @@
 package org.cacert.gigi;
 
+import java.io.BufferedReader;
 import java.io.ByteArrayInputStream;
 import java.io.ByteArrayOutputStream;
 import java.io.DataOutputStream;
@@ -7,6 +8,7 @@ import java.io.File;
 import java.io.FileInputStream;
 import java.io.IOException;
 import java.io.InputStream;
+import java.io.InputStreamReader;
 import java.io.OutputStream;
 import java.nio.file.Files;
 import java.nio.file.Paths;
@@ -40,6 +42,11 @@ public class DevelLauncher {
                System.setIn(new ByteArrayInputStream(chunkConfig.toByteArray()));
                Launcher.main(args);
                System.setIn(oldin);
+               BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
+               System.out.println("Cacert-gigi system sucessfully started.");
+               System.out.println("Press enter to shutdown.");
+               br.readLine();
+               System.exit(0);
        }
 
        public static void writeGigiConfig(OutputStream target, byte[] keystorepw, byte[] truststorepw,