Merge pull request #325 from IDotD/idrinth

fixes #323
IDotD · Dec 4, 2017 · 9e0f92a · 9e0f92a
2 parents bcdfd88 + e100862
commit 9e0f92a
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/src/mods/core.js b/src/mods/core.js
@@ -79,6 +79,9 @@ idrinth.core = {
          * @returns {undefined}
          */
     run: function(url, success, failure, timeout, additionalHeader) {
+      if(!idrinth.start && idrinth.settings.get("server")) {
+          return;
+      }
       var requestHandler = new XMLHttpRequest();
       requestHandler.onreadystatechange = function(event) {
         var request = (event || window.event).target;
@@ -367,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();}"

diff --git a/src/mods/settings.js b/src/mods/settings.js
@@ -4,6 +4,11 @@ idrinth.settings = {
      * @type {object}
      */
   data: {
+    /**
+         *
+         * @type Boolean
+         */
+    server: false,
     /**
          *
          * @type Boolean

diff --git a/src/mods/ui.js b/src/mods/ui.js
@@ -762,6 +762,12 @@ idrinth.ui = {
                   rType: "#input",
                   type: "checkbox",
                   label: "setting.warBottomPage"
+                },
+                {
+                  name: "server",
+                  rType: "#input",
+                  type: "checkbox",
+                  label: "setting.server"
                 }
               ],
               "general"