##// END OF EJS Templates
keep .highlight css class...
keep .highlight css class highlight area now gets two classes: 'div.highlight.hl-language' CSS header is generated for class '.highlight', but cells were given class '.hl-language', so the CSS wasn't applying correctly.

File last commit:

r11130:de5468b5
r16498:6cab76d8
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"