From edc261c0f7f7ec3395e941dd027ea73b6bde32b5 Mon Sep 17 00:00:00 2001 From: levinxo Date: Thu, 9 Jul 2020 15:40:53 +0800 Subject: [PATCH] kill notebook its self when server cull idle kernel --- notebook/static/services/kernels/kernel.js | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/notebook/static/services/kernels/kernel.js b/notebook/static/services/kernels/kernel.js index 941895b11..f5a1669f3 100644 --- a/notebook/static/services/kernels/kernel.js +++ b/notebook/static/services/kernels/kernel.js @@ -141,6 +141,7 @@ define([ this.register_iopub_handler('status', $.proxy(this._handle_status_message, this)); this.register_iopub_handler('clear_output', $.proxy(this._handle_clear_output, this)); this.register_iopub_handler('execute_input', $.proxy(this._handle_input_message, this)); + this.register_iopub_handler('shutdown_reply', $.proxy(this._handle_shutdown_message, this)); for (var i=0; i < output_msg_types.length; i++) { this.register_iopub_handler(output_msg_types[i], $.proxy(this._handle_output_message, this)); @@ -1212,6 +1213,19 @@ define([ } }; + + /** + * Handle a kernel shutdown message + * @function _handle_shutdown_message + */ + Kernel.prototype._handle_shutdown_message = function (msg) { + if (!msg.content.restart) { + this.events.trigger('kernel_dead.Kernel', {kernel: this}); + this._kernel_dead(); + } + } + + /** * Dispatch IOPub messages to respective handlers. Each message * type should have a handler.