diff options
Diffstat (limited to 'cli/tools/jupyter/server.rs')
| -rw-r--r-- | cli/tools/jupyter/server.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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?; |