-
Paul McCarthy authored
signal handler. Notebook server tries a bit harder to make sure that the server process is killed. Still not confident as to the robustness of all of this.
74699082
signal handler. Notebook server tries a bit harder to make sure that the server process is killed. Still not confident as to the robustness of all of this.