Intervall

assets/cn_default.js

@@ -155,7 +155,7 @@ function failure(graph) {
 * checks at a fixed interval whether the contents of the JSON file have changed 
   and reloads the program if necessary
 */
-var intervalId = window.setInterval(check_if_json_changed, 500)
+var intervalId = window.setInterval(check_if_json_changed, 5000)
 function check_if_json_changed() {
     d3.json("json_text.json").then(function(graph) {
         newjson_string = JSON.stringify(graph)