diff options
Diffstat (limited to 'cli/tools/jupyter')
-rw-r--r-- | cli/tools/jupyter/jupyter_msg.rs | 8 | ||||
-rw-r--r-- | cli/tools/jupyter/server.rs | 4 |
2 files changed, 11 insertions, 1 deletions
diff --git a/cli/tools/jupyter/jupyter_msg.rs b/cli/tools/jupyter/jupyter_msg.rs index 8b302bdd8..60703e365 100644 --- a/cli/tools/jupyter/jupyter_msg.rs +++ b/cli/tools/jupyter/jupyter_msg.rs @@ -160,6 +160,14 @@ impl JupyterMessage { self.header["msg_type"].as_str().unwrap_or("") } + pub(crate) fn store_history(&self) -> bool { + self.content["store_history"].as_bool().unwrap_or(true) + } + + pub(crate) fn silent(&self) -> bool { + self.content["silent"].as_bool().unwrap_or(false) + } + pub(crate) fn code(&self) -> &str { self.content["code"].as_str().unwrap_or("") } diff --git a/cli/tools/jupyter/server.rs b/cli/tools/jupyter/server.rs index f6218956d..cd02b9891 100644 --- a/cli/tools/jupyter/server.rs +++ b/cli/tools/jupyter/server.rs @@ -341,7 +341,9 @@ impl JupyterServer { msg: JupyterMessage, connection: &mut Connection<zeromq::RouterSocket>, ) -> Result<(), AnyError> { - self.execution_count += 1; + if !msg.silent() && msg.store_history() { + self.execution_count += 1; + } *self.last_execution_request.borrow_mut() = Some(msg.clone()); msg |