Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Upgrade jupyter websocket client (#21095)

Browse source 
Upgrade to changes from https://github.com/runtimed/runtimed/pull/158 

Release Notes:

- N/A
This commit is contained in:
Kyle Kelley 2024-11-22 22:11:20 -08:00 • committed by GitHub
parent 8a9c53524a
commit 2177e833d8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 98 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/repl/src/kernels/mod.rs
View file

@ -15,7 +15,8 @@ use project::{Project, WorktreeId};
pub use remote_kernels::*;
use anyhow::Result;
use runtimelib::{ExecutionState, JupyterKernelspec, JupyterMessage, KernelInfoReply};
use jupyter_protocol::JupyterKernelspec;
use runtimelib::{ExecutionState, JupyterMessage, KernelInfoReply};
use ui::{Icon, IconName, SharedString};
pub type JupyterMessageChannel = stream::SelectAll<Receiver<JupyterMessage>>;