Skip to content

Commit

Permalink
Merge pull request #279 from akhmerov/detect-dead-kernel
Browse files Browse the repository at this point in the history
show an error message when the kernel is dead
  • Loading branch information
minrk authored Oct 19, 2020
2 parents 4e308de + fc1a992 commit 2edaf3f
Showing 1 changed file with 10 additions and 1 deletion.
11 changes: 10 additions & 1 deletion src/thebelab.js
Original file line number Diff line number Diff line change
Expand Up @@ -239,7 +239,16 @@ function renderCell(element, options) {
events.trigger("request-kernel");
}
kernelPromise.then((kernel) => {
outputArea.future = kernel.requestExecute({ code: code });
try {
outputArea.future = kernel.requestExecute({ code: code });
} catch (error) {
outputArea.model.clear();
outputArea.model.add({
output_type: "stream",
name: "stderr",
text: `Failed to execute. ${error} Please refresh the page.`,
});
}
});
return false;
}
Expand Down

0 comments on commit 2edaf3f

Please sign in to comment.