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