From eb2d5965387a5b527a724fe29a7eae4cc6683537 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Wed, 10 Jan 2018 00:17:26 +0100
Subject: [PATCH] implement mutualExclude factory

---
 src/Util/mutualExclude.js | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 src/Util/mutualExclude.js

diff --git a/src/Util/mutualExclude.js b/src/Util/mutualExclude.js
new file mode 100644
index 00000000..519dfd50
--- /dev/null
+++ b/src/Util/mutualExclude.js
@@ -0,0 +1,15 @@
+
+export function createMutualExclude () {
+  var token = true
+  return function mutualExclude (f) {
+    if (token) {
+      token = false
+      try {
+        f()
+      } catch (e) {
+        console.error(e)
+      }
+      token = true
+    }
+  }
+}