##// END OF EJS Templates
remove some custom css...
remove some custom css mainly in navbars, where we were doing custom things that bootstrap already did with classes. This did require the removal of multiple class LESS inheritance for navbar buttons, because it doesn't work properly. Seems like a LESS bug, but I'm not sure.

File last commit:

r11130:de5468b5
r19298:d8390523
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"