diff options
Diffstat (limited to 'cli')
| -rw-r--r-- | cli/Cargo.toml | 2 | ||||
| -rw-r--r-- | cli/tools/jupyter/server.rs | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/cli/Cargo.toml b/cli/Cargo.toml index 939dfee74..c252cd9b1 100644 --- a/cli/Cargo.toml +++ b/cli/Cargo.toml @@ -149,7 +149,7 @@ typed-arena = "=2.0.1" unicode-width = "0.1" uuid = { workspace = true, features = ["serde"] } walkdir = "=2.3.2" -zeromq = { version = "=0.3.4", default-features = false, features = ["tcp-transport", "tokio-runtime"] } +zeromq.workspace = true zstd.workspace = true [target.'cfg(windows)'.dependencies] diff --git a/cli/tools/jupyter/server.rs b/cli/tools/jupyter/server.rs index bfdcdf1e1..f6218956d 100644 --- a/cli/tools/jupyter/server.rs +++ b/cli/tools/jupyter/server.rs @@ -396,6 +396,7 @@ impl JupyterServer { .with_content(json!({ "status": "ok", "execution_count": self.execution_count, + // FIXME: also include user_expressions })) .send(connection) .await?; |