function makeWorkerBlob()

in web/src/evaluator.js [27:40]


    function makeWorkerBlob(data) {
        // See https://stackoverflow.com/questions/10343913/how-to-create-a-web-worker-from-a-string
        window.URL = window.URL || window.webkitURL;
        var blob;
        try {
            blob = new Blob([data], {type: 'application/javascript'});
        } catch (e) { // Backwards-compatibility
            window.BlobBuilder = window.BlobBuilder || window.WebKitBlobBuilder || window.MozBlobBuilder;
            blob = new BlobBuilder();
            blob.append(data);
            blob = blob.getBlob();
        }
        return URL.createObjectURL(blob);
    }