importScripts("worker-pre.js");

function log(message)
{
    postMessage("log " + message);
}

function done()
{
    postMessage("DONE");
}

function init()
{
    try {
        req = new XMLHttpRequest;
        req.open("GET", "missing-file", false);
        req.send();
    } catch (e) {
        log("Exception received.");
    }
    done();
};