diff options
Diffstat (limited to 'public')
-rw-r--r-- | public/js/extra.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 61433528..0f67f8fb 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -343,6 +343,7 @@ function finishView(view) { var $ele = $(value).parent().parent(); var graphviz = Viz($value.text()); + if (!graphviz) throw Error('viz.js output empty graph'); $value.html(graphviz); $ele.addClass('graphviz'); |