Make excluded stuff in FileManager configurable from __init__()

This commit is contained in:
Kristóf Tóth
2018-03-09 08:41:12 +01:00
parent b224ed519d
commit 7858caf51a
2 changed files with 5 additions and 5 deletions

View File

@ -9,7 +9,7 @@ log = logging.getLogger(__name__)
if __name__ == '__main__':
ide = SourceCodeEventHandler('webide', tfwenv.WEBIDE_WD)
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)