Home
last modified time | relevance | path

Searched defs:cull_interval (Results 1 – 4 of 4) sorted by relevance

/dports/devel/py-jupyter-server/jupyter_server-1.12.1/jupyter_server/terminal/
H A Dterminalmanager.py36 cull_interval = Integer( variable in TerminalManager
/dports/www/py-notebook/notebook-6.4.5/notebook/terminal/
H A Dterminalmanager.py34 cull_interval = Integer(cull_interval_default, config=True, variable in TerminalManager
/dports/www/py-notebook/notebook-6.4.5/notebook/services/kernels/
H A Dkernelmanager.py84 cull_interval = Integer(cull_interval_default, config=True, variable in MappingKernelManager
/dports/devel/py-jupyter-server/jupyter_server-1.12.1/jupyter_server/services/kernels/
H A Dkernelmanager.py92 cull_interval = Integer( variable in MappingKernelManager