fixes #311

Idrinth · Idrinth · commit 04d6762e0966 · 2017-12-04T17:08:22.000+01:00
add key to be replaced(server side change pending)
diff --git a/src/mods/core.js b/src/mods/core.js
@@ -370,6 +370,7 @@ idrinth.core = {
     }
     var blobURL = window.URL.createObjectURL(
       new Blob([
+        "/*js:big*/" +//replaced server-side from libs/[name].js
         "self.onmessage = function(message) {var work=" +
           inWorker.toString() +
           ";self.postMessage(work(message.data));self.close();}"

Original file line number	Diff line number	Diff line change
`@@ -370,6 +370,7 @@ idrinth.core = {`
`370`	`370`	`}`
`371`	`371`	`var blobURL = window.URL.createObjectURL(`
`372`	`372`	`new Blob([`
	`373`	`+ "/js:big/" +//replaced server-side from libs/[name].js`
`373`	`374`	`"self.onmessage = function(message) {var work=" +`
`374`	`375`	`inWorker.toString() +`
`375`	`376`	`";self.postMessage(work(message.data));self.close();}"`