diff options
Diffstat (limited to 'graph/web/viewer.js')
| -rw-r--r-- | graph/web/viewer.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/graph/web/viewer.js b/graph/web/viewer.js index 9aaaa154..ed14651f 100644 --- a/graph/web/viewer.js +++ b/graph/web/viewer.js @@ -148,6 +148,11 @@ try { try { if (message.startsWith("{")) { frame = JSON.parse(message); + if (frame.error) { + failure = "Compile error: " + frame.error; + updateUI(); + return; + } if (frame.snap.ver !== 1) throw new Error("Unsupported graph version: " + frame.snap.ver); } else { // Earlier chapters still send bare DOT. |
