1.1 --- a/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Sat Dec 26 08:22:59 2015 +0100
     1.2 +++ b/launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java	Tue Jan 26 04:36:23 2016 +0100
     1.3 @@ -337,10 +337,20 @@
     1.4              public void service(Request request, Response response) throws Exception {
     1.5                  String id = request.getParameter("request");
     1.6                  String value = request.getParameter("result");
     1.7 +                String timeText = request.getParameter("time");
     1.8                  if (value != null && value.indexOf((char)0xC5) != -1) {
     1.9                      value = toUTF8(value);
    1.10                  }
    1.11 -
    1.12 +                int time;
    1.13 +                if (timeText != null) {
    1.14 +                    try {
    1.15 +                        time = (int) Double.parseDouble(timeText);
    1.16 +                    } catch (NumberFormatException numberFormatException) {
    1.17 +                        time = 0;
    1.18 +                    }
    1.19 +                } else {
    1.20 +                    time = 0;
    1.21 +                }
    1.22  
    1.23                  InvocationContext mi = null;
    1.24                  int caseNmbr = -1;
    1.25 @@ -349,7 +359,7 @@
    1.26                      LOG.log(Level.INFO, "Received result for case {0} = {1}", new Object[]{id, value});
    1.27                      value = decodeURL(value);
    1.28                      int indx = Integer.parseInt(id);
    1.29 -                    cases.get(indx).result(value, null);
    1.30 +                    cases.get(indx).result(value, time, null);
    1.31                      if (++indx < cases.size()) {
    1.32                          mi = cases.get(indx);
    1.33                          LOG.log(Level.INFO, "Re-executing case {0}", indx);