##// END OF EJS Templates
Clear window title when kernel is restarted...
Clear window title when kernel is restarted When kernel is died and restarted, or restarted while it is in the busy state, message "(Busy)" on the window title is not updated. This problem is fixed by updating document title when restarting.

File last commit:

r3603:600411fc
r7207:28f7c80e
Show More
log.py
23 lines | 687 B | text/x-python | PythonLexer
import logging
from logging import INFO, DEBUG, WARN, ERROR, FATAL
import zmq
from zmq.log.handlers import PUBHandler
class EnginePUBHandler(PUBHandler):
"""A simple PUBHandler subclass that sets root_topic"""
engine=None
def __init__(self, engine, *args, **kwargs):
PUBHandler.__init__(self,*args, **kwargs)
self.engine = engine
@property
def root_topic(self):
"""this is a property, in case the handler is created
before the engine gets registered with an id"""
if isinstance(getattr(self.engine, 'id', None), int):
return "engine.%i"%self.engine.id
else:
return "engine"