diff --git a/src/templates/console.html b/src/templates/console.html
index ec2978353..a3eb7edd8 100644
--- a/src/templates/console.html
+++ b/src/templates/console.html
@@ -81,11 +81,15 @@
})
);
}
- if (value.destroy) {
+ if (value && value.destroy) {
value.destroy();
}
} catch (e) {
- term.error(fut.formatted_error.trimEnd());
+ if (e.constructor.name === "PythonError") {
+ term.error(fut.formatted_error.trimEnd());
+ } else {
+ throw e;
+ }
}
fut.destroy();
}