diff options
Diffstat (limited to 'cli/tools/jupyter/server.rs')
| -rw-r--r-- | cli/tools/jupyter/server.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/cli/tools/jupyter/server.rs b/cli/tools/jupyter/server.rs index 0b8d25c3e..391d202fd 100644 --- a/cli/tools/jupyter/server.rs +++ b/cli/tools/jupyter/server.rs @@ -416,9 +416,7 @@ impl JupyterServer { // Otherwise, executing multiple cells one-by-one might lead to output // from various cells be grouped together in another cell result. tokio::time::sleep(std::time::Duration::from_millis(5)).await; - } else { - let exception_details = exception_details.unwrap(); - + } else if let Some(exception_details) = exception_details { // Determine the exception value and name let (name, message, stack) = if let Some(exception) = exception_details.exception { |