Rename TerminadoEventHandler's key to shell for consistency

This commit is contained in:
Kristóf Tóth 2018-03-04 10:46:03 +01:00
parent ab76e3d024
commit 82073fda8c

View File

@ -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}