##// END OF EJS Templates
Changed right arrow key movement function to mirror left arrow key movement.
Changed right arrow key movement function to mirror left arrow key movement.

File last commit:

r11130:de5468b5
r17013:089dcde7
Show More
log.py
21 lines | 661 B | text/x-python | PythonLexer
MinRK
prep newparallel for rebase...
r3539 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"