From f88342a91d59bdb33967ce632a86bbec9c1de4ad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Thu, 24 May 2018 16:20:56 +0200 Subject: [PATCH] Fix user_ops.py not reloading on edit from terminal --- solvable/src/event_handler_main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/solvable/src/event_handler_main.py b/solvable/src/event_handler_main.py index bb1ab56..914583e 100644 --- a/solvable/src/event_handler_main.py +++ b/solvable/src/event_handler_main.py @@ -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')