fix worker not starting up on ie edge

pull/223/head
nightwing 2015-11-19 00:19:36 +04:00
rodzic d02c48e7bf
commit 2e68e73deb
2 zmienionych plików z 4 dodań i 2 usunięć

Wyświetl plik

@ -68,7 +68,9 @@ var WorkerClient = function(topLevelNamespaces, mod, classname, workerUrl) {
var blobURL = URL.createObjectURL(blob);
this.$worker = new Worker(blobURL);
URL.revokeObjectURL(blobURL);
setTimeout(function() { // IE EDGE needs a timeout here
URL.revokeObjectURL(blobURL);
});
} else {
throw e;
}

Wyświetl plik

@ -70,7 +70,7 @@
"c9.ide.local": "#a6e689e33b",
"c9.ide.find": "#35379124ca",
"c9.ide.find.infiles": "#c3bf17286d",
"c9.ide.find.replace": "#44772dd796",
"c9.ide.find.replace": "#8cbce45290",
"c9.ide.run.debug": "#dbe6c81252",
"c9.automate": "#47e2c429c9",
"c9.ide.ace.emmet": "#6dc4585e02",