From 6283b825d67a89a2cdb745a5d079eca8831653d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Thu, 8 Feb 2018 14:54:00 +0100 Subject: [PATCH] =?UTF-8?q?Fix=20file=20list=20disappearing=20from=20json?= =?UTF-8?q?=20after=20write=20command=20=E2=80=93=20webide.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/event_handlers/source_code_event_handler.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/event_handlers/source_code_event_handler.py b/src/event_handlers/source_code_event_handler.py index 2b86766..942a9e1 100644 --- a/src/event_handlers/source_code_event_handler.py +++ b/src/event_handlers/source_code_event_handler.py @@ -75,6 +75,7 @@ class SourceCodeEventHandler(EventHandlerBase, SupervisorMixin): def write(self, data_json): self.filemanager.file_contents = data_json['data']['content'] + data_json['data']['files'] = self.filemanager.files self.restart_process() def select(self, data_json):