diff -r 86f3ea771e24 -r ca2be963f3b9 launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java --- a/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java Thu Dec 20 21:54:33 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; }