Closing the window when data are processed.
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