# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1356208514 -3600
# Node ID ca2be963f3b918b425712fb600b0336e286120c3
# Parent  4c8388f797b2705c91d7e82246c2ea9e7a903244
Closing the window when data are processed.

diff -r 4c8388f797b2 -r ca2be963f3b9 launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java
--- a/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Sat Dec 22 21:00:23 2012 +0100
+++ b/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Sat Dec 22 21:35:14 2012 +0100
@@ -289,7 +289,6 @@
         InputStream stderr = process.getErrorStream();
         drain("StdOut", stdout);
         drain("StdErr", stderr);
-        Thread.sleep(5000);
         process.destroy();
         int res = process.waitFor();
         LOG.log(Level.INFO, "Exit code: {0}", res);
diff -r 4c8388f797b2 -r ca2be963f3b9 launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java
--- a/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java	Sat Dec 22 21:00:23 2012 +0100
+++ b/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java	Sat Dec 22 21:35:14 2012 +0100
@@ -44,6 +44,9 @@
     @JavaScriptBody(args = {"id", "attr", "value"}, body = 
         "window.document.getElementById(id)[attr] = value;")
     private static native void setAttr(String id, String attr, Object value);
+    
+    @JavaScriptBody(args = {}, body = "window.close();")
+    private static native void closeWindow();
 
     private static void log(String newText) {
         String id = "result";
@@ -68,6 +71,7 @@
                 log("\nGot \"" + data + "\"");
                 if (data.isEmpty()) {
                     log("No data, exiting");
+                    closeWindow();
                     break;
                 }