From 04d6762e0966b9b4744e27167bdcab715a1eae0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20B=C3=BCttner?=
 <idrinth@users.noreply.github.com>
Date: Mon, 4 Dec 2017 17:08:22 +0100
Subject: [PATCH] fixes #311 add key to be replaced(server side change pending)

---
 src/mods/core.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mods/core.js b/src/mods/core.js
index e9e8a04..c326ed9 100644
--- 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();}"