diff options
Diffstat (limited to 'cli/tools/jupyter/mod.rs')
| -rw-r--r-- | cli/tools/jupyter/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cli/tools/jupyter/mod.rs b/cli/tools/jupyter/mod.rs index a5139044f..1197d3df7 100644 --- a/cli/tools/jupyter/mod.rs +++ b/cli/tools/jupyter/mod.rs @@ -179,6 +179,7 @@ pub async fn kernel( let mut op_state = op_state_rc.borrow_mut(); op_state.put(startup_data.iopub_connection.clone()); op_state.put(startup_data.last_execution_request.clone()); + op_state.put(startup_data.stdin_connection_proxy.clone()); } repl_session_proxy.start().await; |