Graph Editor: make sure the edge have valid source & destination

c19e9003 · Jérome Perrin · f3e4240b · c19e9003
Commit c19e9003 authored Dec 01, 2014 by Jérome Perrin
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

dream/platform/src/jsplumb/jsplumb.js dream/platform/src/jsplumb/jsplumb.js +8 -0

No files found.
--- a/dream/platform/src/jsplumb/jsplumb.js
+++ b/dream/platform/src/jsplumb/jsplumb.js
@@ -416,6 +416,14 @@
      }]];
    }

+    if (gadget.props.data.graph.node[edge_data.source] === undefined) {
+      throw new Error("Edge Source " + edge_data.source + " does not exist");
+    }
+    if (gadget.props.data.graph.node[edge_data.source] === undefined) {
+      throw new Error("Edge Destination " + edge_data.source
+        + " does not exist");
+    }
+
    // If an edge has this data:
    // { _class: 'Edge', 
    //   source: 'N1',