Как / где зарегистрировать обратный вызов, когда KernelManager.is_alive () возвращает False? - PullRequest
0 голосов
/ 10 апреля 2020

Я пытаюсь выяснить, как уведомить пользователя в текущей запущенной записной книжке о том, что ядро ​​умерло и что оно должно перезапуститься.

Я посмотрел на KernelManager.is_alive() в соответствии с отчетами документации точно эта информация. Тем не менее, KernelManager сам не может принять обратный вызов для всплытия, если / когда is_alive () возвращает false.

Другие параметры требуют перехода на уровень ZMQ и либо посредством опроса, либо асинхронной и магической регистрации обратного вызова там , Тем не менее, я не могу найти документацию на этом уровне для регистрации такого обратного вызова.

Если у кого-либо есть какие-либо указания или указания относительно того, как обнаруживать и уведомлять о «мертвом ядре» с помощью событий и обратных вызовов, я был бы очень признателен это.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...