launcher/fx/src/main/java/org/apidesign/bck2brwsr/launcher/BaseHTTPLauncher.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Thu, 16 May 2013 08:51:29 +0200
changeset 1098 fcf1d05b0d39
parent 1092 e684cc5dec32
child 1165 06e7a74c72cf
child 1489 8d0fc428ff72
permissions -rw-r--r--
Try harder to find the emulation classes
jaroslav@1033
     1
/**
jaroslav@1033
     2
 * Back 2 Browser Bytecode Translator
jaroslav@1033
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@1033
     4
 *
jaroslav@1033
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@1033
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@1033
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@1033
     8
 *
jaroslav@1033
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@1033
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@1033
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@1033
    12
 * GNU General Public License for more details.
jaroslav@1033
    13
 *
jaroslav@1033
    14
 * You should have received a copy of the GNU General Public License
jaroslav@1033
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@1033
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@1033
    17
 */
jaroslav@1033
    18
package org.apidesign.bck2brwsr.launcher;
jaroslav@1033
    19
jaroslav@1033
    20
import java.io.Closeable;
jaroslav@1033
    21
import java.io.File;
jaroslav@1033
    22
import java.io.IOException;
jaroslav@1033
    23
import java.io.InputStream;
jaroslav@1033
    24
import java.io.InterruptedIOException;
jaroslav@1033
    25
import java.io.OutputStream;
jaroslav@1088
    26
import java.io.Reader;
jaroslav@1033
    27
import java.io.UnsupportedEncodingException;
jaroslav@1033
    28
import java.io.Writer;
jaroslav@1033
    29
import java.net.URI;
jaroslav@1033
    30
import java.net.URISyntaxException;
jaroslav@1033
    31
import java.net.URL;
jaroslav@1033
    32
import java.util.ArrayList;
jaroslav@1033
    33
import java.util.Arrays;
jaroslav@1033
    34
import java.util.Enumeration;
jaroslav@1033
    35
import java.util.LinkedHashSet;
jaroslav@1033
    36
import java.util.List;
jaroslav@1033
    37
import java.util.Set;
jaroslav@1033
    38
import java.util.concurrent.BlockingQueue;
jaroslav@1076
    39
import java.util.concurrent.Callable;
jaroslav@1033
    40
import java.util.concurrent.CountDownLatch;
jaroslav@1033
    41
import java.util.concurrent.LinkedBlockingQueue;
jaroslav@1033
    42
import java.util.concurrent.TimeUnit;
jaroslav@1033
    43
import java.util.logging.Level;
jaroslav@1033
    44
import java.util.logging.Logger;
jaroslav@1033
    45
import org.apidesign.bck2brwsr.launcher.InvocationContext.Resource;
jaroslav@1033
    46
import org.glassfish.grizzly.PortRange;
jaroslav@1033
    47
import org.glassfish.grizzly.http.server.HttpHandler;
jaroslav@1033
    48
import org.glassfish.grizzly.http.server.HttpServer;
jaroslav@1033
    49
import org.glassfish.grizzly.http.server.NetworkListener;
jaroslav@1033
    50
import org.glassfish.grizzly.http.server.Request;
jaroslav@1033
    51
import org.glassfish.grizzly.http.server.Response;
jaroslav@1033
    52
import org.glassfish.grizzly.http.server.ServerConfiguration;
jaroslav@1033
    53
import org.glassfish.grizzly.http.util.HttpStatus;
jaroslav@1092
    54
import org.glassfish.grizzly.threadpool.ThreadPoolConfig;
jaroslav@1033
    55
jaroslav@1033
    56
/**
jaroslav@1033
    57
 * Lightweight server to launch Bck2Brwsr applications and tests.
jaroslav@1033
    58
 * Supports execution in native browser as well as Java's internal 
jaroslav@1033
    59
 * execution engine.
jaroslav@1033
    60
 */
jaroslav@1076
    61
abstract class BaseHTTPLauncher extends Launcher implements Closeable, Callable<HttpServer> {
jaroslav@1088
    62
    static final Logger LOG = Logger.getLogger(BaseHTTPLauncher.class.getName());
jaroslav@1033
    63
    private static final InvocationContext END = new InvocationContext(null, null, null);
jaroslav@1033
    64
    private final Set<ClassLoader> loaders = new LinkedHashSet<>();
jaroslav@1033
    65
    private final BlockingQueue<InvocationContext> methods = new LinkedBlockingQueue<>();
jaroslav@1033
    66
    private long timeOut;
jaroslav@1033
    67
    private final Res resources = new Res();
jaroslav@1033
    68
    private final String cmd;
jaroslav@1033
    69
    private Object[] brwsr;
jaroslav@1033
    70
    private HttpServer server;
jaroslav@1033
    71
    private CountDownLatch wait;
jaroslav@1033
    72
    
jaroslav@1041
    73
    public BaseHTTPLauncher(String cmd) {
jaroslav@1033
    74
        this.cmd = cmd;
jaroslav@1043
    75
        addClassLoader(BaseHTTPLauncher.class.getClassLoader());
jaroslav@1033
    76
        setTimeout(180000);
jaroslav@1033
    77
    }
jaroslav@1033
    78
    
jaroslav@1033
    79
    @Override
jaroslav@1033
    80
    InvocationContext runMethod(InvocationContext c) throws IOException {
jaroslav@1033
    81
        loaders.add(c.clazz.getClassLoader());
jaroslav@1033
    82
        methods.add(c);
jaroslav@1033
    83
        try {
jaroslav@1033
    84
            c.await(timeOut);
jaroslav@1033
    85
        } catch (InterruptedException ex) {
jaroslav@1033
    86
            throw new IOException(ex);
jaroslav@1033
    87
        }
jaroslav@1033
    88
        return c;
jaroslav@1033
    89
    }
jaroslav@1033
    90
    
jaroslav@1033
    91
    public void setTimeout(long ms) {
jaroslav@1033
    92
        timeOut = ms;
jaroslav@1033
    93
    }
jaroslav@1033
    94
    
jaroslav@1033
    95
    public void addClassLoader(ClassLoader url) {
jaroslav@1033
    96
        this.loaders.add(url);
jaroslav@1033
    97
    }
jaroslav@1041
    98
    
jaroslav@1041
    99
    ClassLoader[] loaders() {
jaroslav@1041
   100
        return loaders.toArray(new ClassLoader[loaders.size()]);
jaroslav@1041
   101
    }
jaroslav@1033
   102
jaroslav@1033
   103
    public void showURL(String startpage) throws IOException {
jaroslav@1033
   104
        if (!startpage.startsWith("/")) {
jaroslav@1033
   105
            startpage = "/" + startpage;
jaroslav@1033
   106
        }
jaroslav@1033
   107
        HttpServer s = initServer(".", true);
jaroslav@1033
   108
        int last = startpage.lastIndexOf('/');
jaroslav@1033
   109
        String prefix = startpage.substring(0, last);
jaroslav@1033
   110
        String simpleName = startpage.substring(last);
jaroslav@1033
   111
        s.getServerConfiguration().addHttpHandler(new SubTree(resources, prefix), "/");
jaroslav@1076
   112
        server = s;
jaroslav@1033
   113
        try {
jaroslav@1033
   114
            launchServerAndBrwsr(s, simpleName);
jaroslav@1033
   115
        } catch (URISyntaxException | InterruptedException ex) {
jaroslav@1033
   116
            throw new IOException(ex);
jaroslav@1033
   117
        }
jaroslav@1033
   118
    }
jaroslav@1033
   119
jaroslav@1033
   120
    void showDirectory(File dir, String startpage) throws IOException {
jaroslav@1033
   121
        if (!startpage.startsWith("/")) {
jaroslav@1033
   122
            startpage = "/" + startpage;
jaroslav@1033
   123
        }
jaroslav@1033
   124
        HttpServer s = initServer(dir.getPath(), false);
jaroslav@1033
   125
        try {
jaroslav@1033
   126
            launchServerAndBrwsr(s, startpage);
jaroslav@1033
   127
        } catch (URISyntaxException | InterruptedException ex) {
jaroslav@1033
   128
            throw new IOException(ex);
jaroslav@1033
   129
        }
jaroslav@1033
   130
    }
jaroslav@1033
   131
jaroslav@1033
   132
    @Override
jaroslav@1033
   133
    public void initialize() throws IOException {
jaroslav@1033
   134
        try {
jaroslav@1033
   135
            executeInBrowser();
jaroslav@1033
   136
        } catch (InterruptedException ex) {
jaroslav@1033
   137
            final InterruptedIOException iio = new InterruptedIOException(ex.getMessage());
jaroslav@1033
   138
            iio.initCause(ex);
jaroslav@1033
   139
            throw iio;
jaroslav@1033
   140
        } catch (Exception ex) {
jaroslav@1033
   141
            if (ex instanceof IOException) {
jaroslav@1033
   142
                throw (IOException)ex;
jaroslav@1033
   143
            }
jaroslav@1033
   144
            if (ex instanceof RuntimeException) {
jaroslav@1033
   145
                throw (RuntimeException)ex;
jaroslav@1033
   146
            }
jaroslav@1033
   147
            throw new IOException(ex);
jaroslav@1033
   148
        }
jaroslav@1033
   149
    }
jaroslav@1033
   150
    
jaroslav@1033
   151
    private HttpServer initServer(String path, boolean addClasses) throws IOException {
jaroslav@1033
   152
        HttpServer s = HttpServer.createSimpleServer(path, new PortRange(8080, 65535));
jaroslav@1033
   153
jaroslav@1092
   154
        ThreadPoolConfig fewThreads = ThreadPoolConfig.defaultConfig().copy().
jaroslav@1092
   155
            setPoolName("Fx/Bck2 Brwsr").
jaroslav@1092
   156
            setCorePoolSize(1).
jaroslav@1092
   157
            setMaxPoolSize(5);
jaroslav@1092
   158
        ThreadPoolConfig oneKernel = ThreadPoolConfig.defaultConfig().copy().
jaroslav@1092
   159
            setPoolName("Kernel Fx/Bck2").
jaroslav@1092
   160
            setCorePoolSize(1).
jaroslav@1092
   161
            setMaxPoolSize(3);
jaroslav@1092
   162
        for (NetworkListener nl : s.getListeners()) {
jaroslav@1092
   163
            nl.getTransport().setWorkerThreadPoolConfig(fewThreads);
jaroslav@1092
   164
            nl.getTransport().setKernelThreadPoolConfig(oneKernel);
jaroslav@1092
   165
        }
jaroslav@1092
   166
        
jaroslav@1033
   167
        final ServerConfiguration conf = s.getServerConfiguration();
jaroslav@1033
   168
        if (addClasses) {
jaroslav@1041
   169
            conf.addHttpHandler(new VM(), "/bck2brwsr.js");
jaroslav@1033
   170
            conf.addHttpHandler(new Classes(resources), "/classes/");
jaroslav@1033
   171
        }
jaroslav@1033
   172
        return s;
jaroslav@1033
   173
    }
jaroslav@1033
   174
    
jaroslav@1033
   175
    private void executeInBrowser() throws InterruptedException, URISyntaxException, IOException {
jaroslav@1033
   176
        wait = new CountDownLatch(1);
jaroslav@1033
   177
        server = initServer(".", true);
jaroslav@1033
   178
        final ServerConfiguration conf = server.getServerConfiguration();
jaroslav@1033
   179
        
jaroslav@1033
   180
        class DynamicResourceHandler extends HttpHandler {
jaroslav@1033
   181
            private final InvocationContext ic;
jaroslav@1033
   182
            public DynamicResourceHandler(InvocationContext ic) {
jaroslav@1033
   183
                if (ic == null || ic.resources.isEmpty()) {
jaroslav@1033
   184
                    throw new NullPointerException();
jaroslav@1033
   185
                }
jaroslav@1033
   186
                this.ic = ic;
jaroslav@1033
   187
                for (Resource r : ic.resources) {
jaroslav@1033
   188
                    conf.addHttpHandler(this, r.httpPath);
jaroslav@1033
   189
                }
jaroslav@1033
   190
            }
jaroslav@1033
   191
jaroslav@1033
   192
            public void close() {
jaroslav@1033
   193
                conf.removeHttpHandler(this);
jaroslav@1033
   194
            }
jaroslav@1033
   195
            
jaroslav@1033
   196
            @Override
jaroslav@1033
   197
            public void service(Request request, Response response) throws Exception {
jaroslav@1033
   198
                for (Resource r : ic.resources) {
jaroslav@1033
   199
                    if (r.httpPath.equals(request.getRequestURI())) {
jaroslav@1033
   200
                        LOG.log(Level.INFO, "Serving HttpResource for {0}", request.getRequestURI());
jaroslav@1033
   201
                        response.setContentType(r.httpType);
jaroslav@1033
   202
                        r.httpContent.reset();
jaroslav@1033
   203
                        String[] params = null;
jaroslav@1033
   204
                        if (r.parameters.length != 0) {
jaroslav@1033
   205
                            params = new String[r.parameters.length];
jaroslav@1033
   206
                            for (int i = 0; i < r.parameters.length; i++) {
jaroslav@1033
   207
                                params[i] = request.getParameter(r.parameters[i]);
jaroslav@1088
   208
                                if (params[i] == null) {
jaroslav@1088
   209
                                    if ("http.method".equals(r.parameters[i])) {
jaroslav@1088
   210
                                        params[i] = request.getMethod().toString();
jaroslav@1088
   211
                                    } else if ("http.requestBody".equals(r.parameters[i])) {
jaroslav@1088
   212
                                        Reader rdr = request.getReader();
jaroslav@1088
   213
                                        StringBuilder sb = new StringBuilder();
jaroslav@1088
   214
                                        for (;;) {
jaroslav@1088
   215
                                            int ch = rdr.read();
jaroslav@1088
   216
                                            if (ch == -1) {
jaroslav@1088
   217
                                                break;
jaroslav@1088
   218
                                            }
jaroslav@1088
   219
                                            sb.append((char)ch);
jaroslav@1088
   220
                                        }
jaroslav@1088
   221
                                        params[i] = sb.toString();
jaroslav@1088
   222
                                    }
jaroslav@1088
   223
                                }
jaroslav@1088
   224
                                if (params[i] == null) {
jaroslav@1088
   225
                                    params[i] = "null";
jaroslav@1088
   226
                                }
jaroslav@1033
   227
                            }
jaroslav@1033
   228
                        }
jaroslav@1033
   229
                        
jaroslav@1033
   230
                        copyStream(r.httpContent, response.getOutputStream(), null, params);
jaroslav@1033
   231
                    }
jaroslav@1033
   232
                }
jaroslav@1033
   233
            }
jaroslav@1033
   234
        }
jaroslav@1033
   235
        
jaroslav@1088
   236
        conf.addHttpHandler(new Page(resources, harnessResource()), "/execute");
jaroslav@1033
   237
        
jaroslav@1033
   238
        conf.addHttpHandler(new HttpHandler() {
jaroslav@1033
   239
            int cnt;
jaroslav@1033
   240
            List<InvocationContext> cases = new ArrayList<>();
jaroslav@1033
   241
            DynamicResourceHandler prev;
jaroslav@1033
   242
            @Override
jaroslav@1033
   243
            public void service(Request request, Response response) throws Exception {
jaroslav@1033
   244
                String id = request.getParameter("request");
jaroslav@1033
   245
                String value = request.getParameter("result");
jaroslav@1033
   246
                if (value != null && value.indexOf((char)0xC5) != -1) {
jaroslav@1033
   247
                    value = toUTF8(value);
jaroslav@1033
   248
                }
jaroslav@1033
   249
                
jaroslav@1033
   250
                
jaroslav@1033
   251
                InvocationContext mi = null;
jaroslav@1033
   252
                int caseNmbr = -1;
jaroslav@1033
   253
                
jaroslav@1033
   254
                if (id != null && value != null) {
jaroslav@1033
   255
                    LOG.log(Level.INFO, "Received result for case {0} = {1}", new Object[]{id, value});
jaroslav@1033
   256
                    value = decodeURL(value);
jaroslav@1033
   257
                    int indx = Integer.parseInt(id);
jaroslav@1033
   258
                    cases.get(indx).result(value, null);
jaroslav@1033
   259
                    if (++indx < cases.size()) {
jaroslav@1033
   260
                        mi = cases.get(indx);
jaroslav@1033
   261
                        LOG.log(Level.INFO, "Re-executing case {0}", indx);
jaroslav@1033
   262
                        caseNmbr = indx;
jaroslav@1033
   263
                    }
jaroslav@1033
   264
                } else {
jaroslav@1033
   265
                    if (!cases.isEmpty()) {
jaroslav@1033
   266
                        LOG.info("Re-executing test cases");
jaroslav@1033
   267
                        mi = cases.get(0);
jaroslav@1033
   268
                        caseNmbr = 0;
jaroslav@1033
   269
                    }
jaroslav@1033
   270
                }
jaroslav@1033
   271
                
jaroslav@1033
   272
                if (prev != null) {
jaroslav@1033
   273
                    prev.close();
jaroslav@1033
   274
                    prev = null;
jaroslav@1033
   275
                }
jaroslav@1033
   276
                
jaroslav@1033
   277
                if (mi == null) {
jaroslav@1033
   278
                    mi = methods.take();
jaroslav@1033
   279
                    caseNmbr = cnt++;
jaroslav@1033
   280
                }
jaroslav@1033
   281
                if (mi == END) {
jaroslav@1033
   282
                    response.getWriter().write("");
jaroslav@1033
   283
                    wait.countDown();
jaroslav@1033
   284
                    cnt = 0;
jaroslav@1033
   285
                    LOG.log(Level.INFO, "End of data reached. Exiting.");
jaroslav@1033
   286
                    return;
jaroslav@1033
   287
                }
jaroslav@1033
   288
                
jaroslav@1033
   289
                if (!mi.resources.isEmpty()) {
jaroslav@1033
   290
                    prev = new DynamicResourceHandler(mi);
jaroslav@1033
   291
                }
jaroslav@1033
   292
                
jaroslav@1033
   293
                cases.add(mi);
jaroslav@1033
   294
                final String cn = mi.clazz.getName();
jaroslav@1033
   295
                final String mn = mi.methodName;
jaroslav@1033
   296
                LOG.log(Level.INFO, "Request for {0} case. Sending {1}.{2}", new Object[]{caseNmbr, cn, mn});
jaroslav@1033
   297
                response.getWriter().write("{"
jaroslav@1033
   298
                    + "className: '" + cn + "', "
jaroslav@1033
   299
                    + "methodName: '" + mn + "', "
jaroslav@1033
   300
                    + "request: " + caseNmbr
jaroslav@1033
   301
                );
jaroslav@1033
   302
                if (mi.html != null) {
jaroslav@1033
   303
                    response.getWriter().write(", html: '");
jaroslav@1033
   304
                    response.getWriter().write(encodeJSON(mi.html));
jaroslav@1033
   305
                    response.getWriter().write("'");
jaroslav@1033
   306
                }
jaroslav@1033
   307
                response.getWriter().write("}");
jaroslav@1033
   308
            }
jaroslav@1033
   309
        }, "/data");
jaroslav@1033
   310
jaroslav@1033
   311
        this.brwsr = launchServerAndBrwsr(server, "/execute");
jaroslav@1033
   312
    }
jaroslav@1033
   313
    
jaroslav@1033
   314
    private static String encodeJSON(String in) {
jaroslav@1033
   315
        StringBuilder sb = new StringBuilder();
jaroslav@1033
   316
        for (int i = 0; i < in.length(); i++) {
jaroslav@1033
   317
            char ch = in.charAt(i);
jaroslav@1033
   318
            if (ch < 32 || ch == '\'' || ch == '"') {
jaroslav@1033
   319
                sb.append("\\u");
jaroslav@1033
   320
                String hs = "0000" + Integer.toHexString(ch);
jaroslav@1033
   321
                hs = hs.substring(hs.length() - 4);
jaroslav@1033
   322
                sb.append(hs);
jaroslav@1033
   323
            } else {
jaroslav@1033
   324
                sb.append(ch);
jaroslav@1033
   325
            }
jaroslav@1033
   326
        }
jaroslav@1033
   327
        return sb.toString();
jaroslav@1033
   328
    }
jaroslav@1033
   329
    
jaroslav@1033
   330
    @Override
jaroslav@1033
   331
    public void shutdown() throws IOException {
jaroslav@1033
   332
        methods.offer(END);
jaroslav@1033
   333
        for (;;) {
jaroslav@1033
   334
            int prev = methods.size();
jaroslav@1033
   335
            try {
jaroslav@1033
   336
                if (wait != null && wait.await(timeOut, TimeUnit.MILLISECONDS)) {
jaroslav@1033
   337
                    break;
jaroslav@1033
   338
                }
jaroslav@1033
   339
            } catch (InterruptedException ex) {
jaroslav@1033
   340
                throw new IOException(ex);
jaroslav@1033
   341
            }
jaroslav@1033
   342
            if (prev == methods.size()) {
jaroslav@1033
   343
                LOG.log(
jaroslav@1033
   344
                    Level.WARNING, 
jaroslav@1033
   345
                    "Timeout and no test has been executed meanwhile (at {0}). Giving up.", 
jaroslav@1033
   346
                    methods.size()
jaroslav@1033
   347
                );
jaroslav@1033
   348
                break;
jaroslav@1033
   349
            }
jaroslav@1033
   350
            LOG.log(Level.INFO, 
jaroslav@1033
   351
                "Timeout, but tests got from {0} to {1}. Trying again.", 
jaroslav@1033
   352
                new Object[]{prev, methods.size()}
jaroslav@1033
   353
            );
jaroslav@1033
   354
        }
jaroslav@1033
   355
        stopServerAndBrwsr(server, brwsr);
jaroslav@1033
   356
    }
jaroslav@1033
   357
    
jaroslav@1033
   358
    static void copyStream(InputStream is, OutputStream os, String baseURL, String... params) throws IOException {
jaroslav@1033
   359
        for (;;) {
jaroslav@1033
   360
            int ch = is.read();
jaroslav@1033
   361
            if (ch == -1) {
jaroslav@1033
   362
                break;
jaroslav@1033
   363
            }
jaroslav@1033
   364
            if (ch == '$' && params.length > 0) {
jaroslav@1033
   365
                int cnt = is.read() - '0';
jaroslav@1033
   366
                if (baseURL != null && cnt == 'U' - '0') {
jaroslav@1033
   367
                    os.write(baseURL.getBytes("UTF-8"));
jaroslav@1033
   368
                } else {
jaroslav@1033
   369
                    if (cnt >= 0 && cnt < params.length) {
jaroslav@1033
   370
                        os.write(params[cnt].getBytes("UTF-8"));
jaroslav@1033
   371
                    } else {
jaroslav@1033
   372
                        os.write('$');
jaroslav@1033
   373
                        os.write(cnt + '0');
jaroslav@1033
   374
                    }
jaroslav@1033
   375
                }
jaroslav@1033
   376
            } else {
jaroslav@1033
   377
                os.write(ch);
jaroslav@1033
   378
            }
jaroslav@1033
   379
        }
jaroslav@1033
   380
    }
jaroslav@1033
   381
jaroslav@1033
   382
    private Object[] launchServerAndBrwsr(HttpServer server, final String page) throws IOException, URISyntaxException, InterruptedException {
jaroslav@1033
   383
        server.start();
jaroslav@1033
   384
        NetworkListener listener = server.getListeners().iterator().next();
jaroslav@1033
   385
        int port = listener.getPort();
jaroslav@1033
   386
        
jaroslav@1033
   387
        URI uri = new URI("http://localhost:" + port + page);
jaroslav@1041
   388
        return showBrwsr(uri);
jaroslav@1033
   389
    }
jaroslav@1033
   390
    private static String toUTF8(String value) throws UnsupportedEncodingException {
jaroslav@1033
   391
        byte[] arr = new byte[value.length()];
jaroslav@1033
   392
        for (int i = 0; i < arr.length; i++) {
jaroslav@1033
   393
            arr[i] = (byte)value.charAt(i);
jaroslav@1033
   394
        }
jaroslav@1033
   395
        return new String(arr, "UTF-8");
jaroslav@1033
   396
    }
jaroslav@1033
   397
    
jaroslav@1033
   398
    private static String decodeURL(String s) {
jaroslav@1033
   399
        for (;;) {
jaroslav@1033
   400
            int pos = s.indexOf('%');
jaroslav@1033
   401
            if (pos == -1) {
jaroslav@1033
   402
                return s;
jaroslav@1033
   403
            }
jaroslav@1033
   404
            int i = Integer.parseInt(s.substring(pos + 1, pos + 2), 16);
jaroslav@1033
   405
            s = s.substring(0, pos) + (char)i + s.substring(pos + 2);
jaroslav@1033
   406
        }
jaroslav@1033
   407
    }
jaroslav@1033
   408
    
jaroslav@1033
   409
    private void stopServerAndBrwsr(HttpServer server, Object[] brwsr) throws IOException {
jaroslav@1033
   410
        if (brwsr == null) {
jaroslav@1033
   411
            return;
jaroslav@1033
   412
        }
jaroslav@1033
   413
        Process process = (Process)brwsr[0];
jaroslav@1033
   414
        
jaroslav@1033
   415
        server.stop();
jaroslav@1033
   416
        InputStream stdout = process.getInputStream();
jaroslav@1033
   417
        InputStream stderr = process.getErrorStream();
jaroslav@1033
   418
        drain("StdOut", stdout);
jaroslav@1033
   419
        drain("StdErr", stderr);
jaroslav@1033
   420
        process.destroy();
jaroslav@1033
   421
        int res;
jaroslav@1033
   422
        try {
jaroslav@1033
   423
            res = process.waitFor();
jaroslav@1033
   424
        } catch (InterruptedException ex) {
jaroslav@1033
   425
            throw new IOException(ex);
jaroslav@1033
   426
        }
jaroslav@1033
   427
        LOG.log(Level.INFO, "Exit code: {0}", res);
jaroslav@1033
   428
jaroslav@1033
   429
        deleteTree((File)brwsr[1]);
jaroslav@1033
   430
    }
jaroslav@1033
   431
    
jaroslav@1033
   432
    private static void drain(String name, InputStream is) throws IOException {
jaroslav@1033
   433
        int av = is.available();
jaroslav@1033
   434
        if (av > 0) {
jaroslav@1033
   435
            StringBuilder sb = new StringBuilder();
jaroslav@1033
   436
            sb.append("v== ").append(name).append(" ==v\n");
jaroslav@1033
   437
            while (av-- > 0) {
jaroslav@1033
   438
                sb.append((char)is.read());
jaroslav@1033
   439
            }
jaroslav@1033
   440
            sb.append("\n^== ").append(name).append(" ==^");
jaroslav@1033
   441
            LOG.log(Level.INFO, sb.toString());
jaroslav@1033
   442
        }
jaroslav@1033
   443
    }
jaroslav@1033
   444
jaroslav@1033
   445
    private void deleteTree(File file) {
jaroslav@1033
   446
        if (file == null) {
jaroslav@1033
   447
            return;
jaroslav@1033
   448
        }
jaroslav@1033
   449
        File[] arr = file.listFiles();
jaroslav@1033
   450
        if (arr != null) {
jaroslav@1033
   451
            for (File s : arr) {
jaroslav@1033
   452
                deleteTree(s);
jaroslav@1033
   453
            }
jaroslav@1033
   454
        }
jaroslav@1033
   455
        file.delete();
jaroslav@1033
   456
    }
jaroslav@1033
   457
jaroslav@1033
   458
    @Override
jaroslav@1076
   459
    public HttpServer call() throws Exception {
jaroslav@1076
   460
        return server;
jaroslav@1076
   461
    }
jaroslav@1076
   462
    
jaroslav@1076
   463
    @Override
jaroslav@1033
   464
    public void close() throws IOException {
jaroslav@1033
   465
        shutdown();
jaroslav@1033
   466
    }
jaroslav@1033
   467
jaroslav@1041
   468
    protected Object[] showBrwsr(URI uri) throws IOException {
jaroslav@1041
   469
        LOG.log(Level.INFO, "Showing {0}", uri);
jaroslav@1041
   470
        if (cmd == null) {
jaroslav@1041
   471
            try {
jaroslav@1041
   472
                LOG.log(Level.INFO, "Trying Desktop.browse on {0} {2} by {1}", new Object[] {
jaroslav@1041
   473
                    System.getProperty("java.vm.name"),
jaroslav@1041
   474
                    System.getProperty("java.vm.vendor"),
jaroslav@1041
   475
                    System.getProperty("java.vm.version"),
jaroslav@1041
   476
                });
jaroslav@1041
   477
                java.awt.Desktop.getDesktop().browse(uri);
jaroslav@1041
   478
                LOG.log(Level.INFO, "Desktop.browse successfully finished");
jaroslav@1041
   479
                return null;
jaroslav@1041
   480
            } catch (UnsupportedOperationException ex) {
jaroslav@1041
   481
                LOG.log(Level.INFO, "Desktop.browse not supported: {0}", ex.getMessage());
jaroslav@1041
   482
                LOG.log(Level.FINE, null, ex);
jaroslav@1041
   483
            }
jaroslav@1041
   484
        }
jaroslav@1041
   485
        {
jaroslav@1041
   486
            String cmdName = cmd == null ? "xdg-open" : cmd;
jaroslav@1041
   487
            String[] cmdArr = { 
jaroslav@1041
   488
                cmdName, uri.toString()
jaroslav@1041
   489
            };
jaroslav@1041
   490
            LOG.log(Level.INFO, "Launching {0}", Arrays.toString(cmdArr));
jaroslav@1041
   491
            final Process process = Runtime.getRuntime().exec(cmdArr);
jaroslav@1041
   492
            return new Object[] { process, null };
jaroslav@1041
   493
        }
jaroslav@1041
   494
    }
jaroslav@1041
   495
jaroslav@1088
   496
    abstract void generateBck2BrwsrJS(StringBuilder sb, Res loader) throws IOException;
jaroslav@1088
   497
    abstract String harnessResource();
jaroslav@1041
   498
jaroslav@1088
   499
    class Res {
jaroslav@1033
   500
        public InputStream get(String resource) throws IOException {
jaroslav@1098
   501
            URL u = null;
jaroslav@1033
   502
            for (ClassLoader l : loaders) {
jaroslav@1033
   503
                Enumeration<URL> en = l.getResources(resource);
jaroslav@1033
   504
                while (en.hasMoreElements()) {
jaroslav@1033
   505
                    u = en.nextElement();
jaroslav@1098
   506
                    if (u.toExternalForm().matches("^.*emul.*rt\\.jar.*$")) {
jaroslav@1098
   507
                        return u.openStream();
jaroslav@1098
   508
                    }
jaroslav@1033
   509
                }
jaroslav@1098
   510
            }
jaroslav@1098
   511
            if (u != null) {
jaroslav@1098
   512
                if (u.toExternalForm().contains("rt.jar")) {
jaroslav@1098
   513
                    LOG.log(Level.WARNING, "Fallback to bootclasspath for {0}", u);
jaroslav@1033
   514
                }
jaroslav@1098
   515
                return u.openStream();
jaroslav@1033
   516
            }
jaroslav@1033
   517
            throw new IOException("Can't find " + resource);
jaroslav@1033
   518
        }
jaroslav@1033
   519
    }
jaroslav@1033
   520
jaroslav@1033
   521
    private static class Page extends HttpHandler {
jaroslav@1033
   522
        final String resource;
jaroslav@1033
   523
        private final String[] args;
jaroslav@1033
   524
        private final Res res;
jaroslav@1033
   525
        
jaroslav@1033
   526
        public Page(Res res, String resource, String... args) {
jaroslav@1033
   527
            this.res = res;
jaroslav@1033
   528
            this.resource = resource;
jaroslav@1033
   529
            this.args = args.length == 0 ? new String[] { "$0" } : args;
jaroslav@1033
   530
        }
jaroslav@1033
   531
jaroslav@1033
   532
        @Override
jaroslav@1033
   533
        public void service(Request request, Response response) throws Exception {
jaroslav@1033
   534
            String r = computePage(request);
jaroslav@1033
   535
            if (r.startsWith("/")) {
jaroslav@1033
   536
                r = r.substring(1);
jaroslav@1033
   537
            }
jaroslav@1033
   538
            String[] replace = {};
jaroslav@1033
   539
            if (r.endsWith(".html")) {
jaroslav@1033
   540
                response.setContentType("text/html");
jaroslav@1033
   541
                LOG.info("Content type text/html");
jaroslav@1033
   542
                replace = args;
jaroslav@1033
   543
            }
jaroslav@1033
   544
            if (r.endsWith(".xhtml")) {
jaroslav@1033
   545
                response.setContentType("application/xhtml+xml");
jaroslav@1033
   546
                LOG.info("Content type application/xhtml+xml");
jaroslav@1033
   547
                replace = args;
jaroslav@1033
   548
            }
jaroslav@1033
   549
            OutputStream os = response.getOutputStream();
jaroslav@1033
   550
            try (InputStream is = res.get(r)) {
jaroslav@1033
   551
                copyStream(is, os, request.getRequestURL().toString(), replace);
jaroslav@1033
   552
            } catch (IOException ex) {
jaroslav@1033
   553
                response.setDetailMessage(ex.getLocalizedMessage());
jaroslav@1033
   554
                response.setError();
jaroslav@1033
   555
                response.setStatus(404);
jaroslav@1033
   556
            }
jaroslav@1033
   557
        }
jaroslav@1033
   558
jaroslav@1033
   559
        protected String computePage(Request request) {
jaroslav@1033
   560
            String r = resource;
jaroslav@1033
   561
            if (r == null) {
jaroslav@1033
   562
                r = request.getHttpHandlerPath();
jaroslav@1033
   563
            }
jaroslav@1033
   564
            return r;
jaroslav@1033
   565
        }
jaroslav@1033
   566
    }
jaroslav@1033
   567
    
jaroslav@1033
   568
    private static class SubTree extends Page {
jaroslav@1033
   569
jaroslav@1033
   570
        public SubTree(Res res, String resource, String... args) {
jaroslav@1033
   571
            super(res, resource, args);
jaroslav@1033
   572
        }
jaroslav@1033
   573
jaroslav@1033
   574
        @Override
jaroslav@1033
   575
        protected String computePage(Request request) {
jaroslav@1033
   576
            return resource + request.getHttpHandlerPath();
jaroslav@1033
   577
        }
jaroslav@1033
   578
        
jaroslav@1033
   579
        
jaroslav@1033
   580
    }
jaroslav@1033
   581
jaroslav@1041
   582
    private class VM extends HttpHandler {
jaroslav@1033
   583
        @Override
jaroslav@1033
   584
        public void service(Request request, Response response) throws Exception {
jaroslav@1033
   585
            response.setCharacterEncoding("UTF-8");
jaroslav@1033
   586
            response.setContentType("text/javascript");
jaroslav@1041
   587
            StringBuilder sb = new StringBuilder();
jaroslav@1041
   588
            generateBck2BrwsrJS(sb, BaseHTTPLauncher.this.resources);
jaroslav@1041
   589
            response.getWriter().write(sb.toString());
jaroslav@1033
   590
        }
jaroslav@1033
   591
    }
jaroslav@1033
   592
jaroslav@1033
   593
    private static class Classes extends HttpHandler {
jaroslav@1033
   594
        private final Res loader;
jaroslav@1033
   595
jaroslav@1033
   596
        public Classes(Res loader) {
jaroslav@1033
   597
            this.loader = loader;
jaroslav@1033
   598
        }
jaroslav@1033
   599
jaroslav@1033
   600
        @Override
jaroslav@1033
   601
        public void service(Request request, Response response) throws Exception {
jaroslav@1033
   602
            String res = request.getHttpHandlerPath();
jaroslav@1033
   603
            if (res.startsWith("/")) {
jaroslav@1033
   604
                res = res.substring(1);
jaroslav@1033
   605
            }
jaroslav@1033
   606
            try (InputStream is = loader.get(res)) {
jaroslav@1033
   607
                response.setContentType("text/javascript");
jaroslav@1033
   608
                Writer w = response.getWriter();
jaroslav@1033
   609
                w.append("[");
jaroslav@1033
   610
                for (int i = 0;; i++) {
jaroslav@1033
   611
                    int b = is.read();
jaroslav@1033
   612
                    if (b == -1) {
jaroslav@1033
   613
                        break;
jaroslav@1033
   614
                    }
jaroslav@1033
   615
                    if (i > 0) {
jaroslav@1033
   616
                        w.append(", ");
jaroslav@1033
   617
                    }
jaroslav@1033
   618
                    if (i % 20 == 0) {
jaroslav@1033
   619
                        w.write("\n");
jaroslav@1033
   620
                    }
jaroslav@1033
   621
                    if (b > 127) {
jaroslav@1033
   622
                        b = b - 256;
jaroslav@1033
   623
                    }
jaroslav@1033
   624
                    w.append(Integer.toString(b));
jaroslav@1033
   625
                }
jaroslav@1033
   626
                w.append("\n]");
jaroslav@1033
   627
            } catch (IOException ex) {
jaroslav@1033
   628
                response.setStatus(HttpStatus.NOT_FOUND_404);
jaroslav@1033
   629
                response.setError();
jaroslav@1033
   630
                response.setDetailMessage(ex.getMessage());
jaroslav@1033
   631
            }
jaroslav@1033
   632
        }
jaroslav@1033
   633
    }
jaroslav@1033
   634
}