From 82073fda8cc2be943ee589d454076b28d90597d8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Sun, 4 Mar 2018 10:46:03 +0100 Subject: [PATCH] Rename TerminadoEventHandler's key to shell for consistency --- src/demo/event_handler_main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/demo/event_handler_main.py b/src/demo/event_handler_main.py index b7090d3..890bee0 100644 --- a/src/demo/event_handler_main.py +++ b/src/demo/event_handler_main.py @@ -8,7 +8,7 @@ from tfw.config import tfwenv if __name__ == '__main__': ide = SourceCodeEventHandler('webide', tfwenv.WEBIDE_WD) - terminado = TerminadoEventHandler('terminado') + terminado = TerminadoEventHandler('shell') processmanager = ProcessManagingEventHandler('processmanager', ide.monitor) eventhandlers = {ide, terminado, processmanager}