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: