From b1f4842dc71fbbe0900ef654c73f6e30fd5cb045 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Tue, 20 Mar 2018 11:39:37 +0100 Subject: [PATCH] Use now fixed DirectoryMonitor.ignore property in webide --- lib/tfw/components/source_code_event_handler.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/tfw/components/source_code_event_handler.py b/lib/tfw/components/source_code_event_handler.py index 760b28b..8986bf2 100644 --- a/lib/tfw/components/source_code_event_handler.py +++ b/lib/tfw/components/source_code_event_handler.py @@ -102,7 +102,7 @@ class SourceCodeEventHandler(TriggerlessEventHandler): return data def write(self, data): - self.monitor.eventhandler.ignore = 1 + self.monitor.ignore = self.monitor.ignore + 1 try: self.filemanager.file_contents = data['content'] except Exception: log.exception('Error writing file!') del data['content']