fixes #323

communication after start can now be disabled

Author: Idrinth

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;

src/mods/settings.js

@@ -4,6 +4,11 @@ idrinth.settings = {
      * @type {object}
      */
   data: {
+    /**
+         *
+         * @type Boolean
+         */
+    server: false,
     /**
          *
          * @type Boolean

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"