Fix user_ops.py not reloading on edit from terminal

This commit is contained in:
Kristóf Tóth 2018-05-24 16:20:56 +02:00
parent 66be01548b
commit f88342a91d
1 changed files with 1 additions and 1 deletions

View File

@ -55,7 +55,7 @@ class TestCommands(TerminalCommands):
if __name__ == '__main__':
ide = IdeEventHandler(key='ide', allowed_directories=[TFWENV.IDE_WD, TFWENV.WEBSERVICE_DIR],
directory=TFWENV.IDE_WD, exclude=['*.pyc'])
directory=TFWENV.IDE_WD, exclude=['*.pyc'], additional_watched_directories=[TFWENV.WEBSERVICE_DIR])
terminado = TerminalEventHandler(key='shell', monitor=BashMonitor(TFWENV.HISTFILE))
terminado.historymonitor.subscribe_callback(cenator)
commands = TestCommands(bashrc=f'/home/{TAOENV.USER}/.bashrc')