1.1 --- a/rt/emul/compact/src/main/java/java/lang/System.java	Fri Sep 26 14:16:02 2014 +0200
     1.2 +++ b/rt/emul/compact/src/main/java/java/lang/System.java	Wed Apr 27 06:13:59 2016 +0200
     1.3 @@ -85,7 +85,12 @@
     1.4          return "\n";
     1.5      }
     1.6  
     1.7 -    @JavaScriptBody(args = { "exitCode" }, body = "window.close();")
     1.8 +    @JavaScriptBody(args = { "exitCode" }, body = ""
     1.9 +        + "var xhttp = new XMLHttpRequest();\n"
    1.10 +        + "xhttp.open('GET', '/?exit=' + exitCode, true);\n"
    1.11 +        + "xhttp.send();\n"
    1.12 +        + "window.close();\n"
    1.13 +    )
    1.14      public static void exit(int exitCode) {
    1.15      }
    1.16