##// END OF EJS Templates
keep only basic changes...
keep only basic changes Kept changes: - fewer, shorter menu items (too cryptic?), with icons. - main checkbox does not open menu, but selects all/none. - total selection count next to main checkbox (unsure if this is to be kept. It does address #7628). Removed changes: - sticky menu. - checkboxes and counters in menu.

File last commit:

r11130:de5468b5
r20396:cf8a34e8
Show More
log.py
21 lines | 661 B | text/x-python | PythonLexer
from logging import INFO, DEBUG, WARN, ERROR, FATAL
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"