diff options
| author | 林炳权 <695601626@qq.com> | 2023-10-06 02:49:09 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-05 14:49:09 -0400 |
| commit | 7a01799f490739612be27725f1584a995f6b1491 (patch) | |
| tree | f7861a6db6d055ed109281533786046ad44c4eb8 /cli/tools/jupyter/server.rs | |
| parent | ab3c9d41e483e5a7e6a326c66af7052a51301f91 (diff) | |
chore: update to Rust 1.73 (#20781)
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 { |