launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java
changeset 1946 bafdddd2a0cf
parent 1939 401a4f03875b
child 1948 5b127bc8163e
     1.1 --- a/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Tue Apr 26 06:03:37 2016 +0200
     1.2 +++ b/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Wed Apr 27 06:13:59 2016 +0200
     1.3 @@ -900,9 +900,19 @@
     1.4  
     1.5          @Override
     1.6          public void service(Request request, Response response) throws Exception {
     1.7 -            if ("true".equals(request.getParameter("exit"))) {
     1.8 -                LOG.info("Exit request received. Shutting down!");
     1.9 -                shutdown();
    1.10 +            final String exit = request.getParameter("exit");
    1.11 +            if (exit != null) {
    1.12 +                int exitCode = -1;
    1.13 +                try {
    1.14 +                    exitCode = Integer.parseInt(exit);
    1.15 +                } catch (NumberFormatException ex) {
    1.16 +                    exitCode = "true".equals(exit) ? 0 : -1;
    1.17 +                }
    1.18 +                if (exitCode != -1) {
    1.19 +                    LOG.info("Exit request received. Shutting down!");
    1.20 +                    shutdown();
    1.21 +                    System.exit(exitCode);
    1.22 +                }
    1.23              }
    1.24              if (request.getRequestURI().equals(vmResource)) {
    1.25                  response.setCharacterEncoding("UTF-8");