U lu f@s`dZddlmZddlZddlZddlmZmZm Z m Z m Z m Z ddl mZGdddeZdS)zA basic kernel monitor with autorestarting. This watches a kernel's state using KernelManager.is_alive and auto restarts the kernel if it dies. It is an incomplete base class, and must be subclassed. ) annotationsN)BoolDictFloatInstanceIntegerdefault)LoggingConfigurablec@seZdZdZedZeddddZeddddZ ed dd dZ e d dd dZ eddd dZ edZe dZedZeZedddddZeZddddZddddZddddZd+ddddd d!Zd,ddddd"d#Zd$dd%d&d'Zddd(d)Zd*S)-KernelRestarterz!Monitor and autorestart a kernel.zjupyter_client.KernelManagerFTzWhether to include every poll event in debugging output. Has to be set explicitly, because there will be *a lot* of output. )confighelpg@z%Kernel heartbeat interval in seconds.g$@zOThe time in seconds to consider the kernel to have completed a stable start up.zJThe number of consecutive autorestarts before the kernel is presumed dead.zNWhether to choose new random ports when restarting before the kernel is alive.r _last_deadfloat)returncCstS)N)timeselfrrrrrr%rr r!r(r+r1rArrrrr sJ   r )rE __future__rrtypingtZ traitletsrrrrrrZtraitlets.config.configurabler r rrrrs