diff options
Diffstat (limited to 'cli/tools')
| -rw-r--r-- | cli/tools/jupyter/server.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cli/tools/jupyter/server.rs b/cli/tools/jupyter/server.rs index c15dab6c2..e3e712065 100644 --- a/cli/tools/jupyter/server.rs +++ b/cli/tools/jupyter/server.rs @@ -358,7 +358,7 @@ impl JupyterServer { .new_message("error") .with_content(json!({ "ename": err.to_string(), - "evalue": "", + "evalue": " ", // Fake value, otherwise old Jupyter frontends don't show the error "traceback": [], })) .send(&mut *self.iopub_socket.lock().await) @@ -425,7 +425,7 @@ impl JupyterServer { .new_message("error") .with_content(json!({ "ename": name, - "evalue": "", + "evalue": " ", // Fake value, otherwise old Jupyter frontends don't show the error "traceback": [], })) .send(&mut *self.iopub_socket.lock().await) |