1.1 --- a/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Sat Dec 22 21:00:23 2012 +0100
     1.2 +++ b/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Sat Dec 22 21:35:14 2012 +0100
     1.3 @@ -289,7 +289,6 @@
     1.4          InputStream stderr = process.getErrorStream();
     1.5          drain("StdOut", stdout);
     1.6          drain("StdErr", stderr);
     1.7 -        Thread.sleep(5000);
     1.8          process.destroy();
     1.9          int res = process.waitFor();
    1.10          LOG.log(Level.INFO, "Exit code: {0}", res);

     2.1 --- a/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java	Sat Dec 22 21:00:23 2012 +0100
     2.2 +++ b/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java	Sat Dec 22 21:35:14 2012 +0100
     2.3 @@ -44,6 +44,9 @@
     2.4      @JavaScriptBody(args = {"id", "attr", "value"}, body = 
     2.5          "window.document.getElementById(id)[attr] = value;")
     2.6      private static native void setAttr(String id, String attr, Object value);
     2.7 +    
     2.8 +    @JavaScriptBody(args = {}, body = "window.close();")
     2.9 +    private static native void closeWindow();
    2.10  
    2.11      private static void log(String newText) {
    2.12          String id = "result";
    2.13 @@ -68,6 +71,7 @@
    2.14                  log("\nGot \"" + data + "\"");
    2.15                  if (data.isEmpty()) {
    2.16                      log("No data, exiting");
    2.17 +                    closeWindow();
    2.18                      break;
    2.19                  }
    2.20