From c84b526b0322cf1ab7c607fa5bfa9d6014c2a827 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Fri, 9 Mar 2018 08:50:54 +0100 Subject: [PATCH] Add argument names to __init__() calls in event_handler_main.py --- src/demo/event_handler_main.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/demo/event_handler_main.py b/src/demo/event_handler_main.py index 1c2de2d..6cb9c8a 100644 --- a/src/demo/event_handler_main.py +++ b/src/demo/event_handler_main.py @@ -9,10 +9,10 @@ log = logging.getLogger(__name__) if __name__ == '__main__': - ide = SourceCodeEventHandler('webide', tfwenv.WEBIDE_WD, ['__pycache__']) - terminado = TerminadoEventHandler('shell') - terminado.historymonitor.subscribe_callback(lambda hist: log.debug('User executed command: "{}"'.format(hist[-1]))) - processmanager = ProcessManagingEventHandler('processmanager', ide.monitor) + ide = SourceCodeEventHandler(key='webide', directory=tfwenv.WEBIDE_WD, exclude=['__pycache__']) + terminado = TerminadoEventHandler(key='shell') + terminado.historymonitor.subscribe_callback(callback=lambda hist: log.debug('User executed command: "{}"'.format(hist[-1]))) + processmanager = ProcessManagingEventHandler(key='processmanager', dirmonitor=ide.monitor) eventhandlers = {ide, terminado, processmanager} try: