From c4a3a53be093da94f993cb40a1961517036bfbc6 Mon Sep 17 00:00:00 2001 From: shortcutme Date: Fri, 2 Aug 2019 16:19:05 +0200 Subject: [PATCH] Also reload source code on file changes in installed plugins --- src/Debug/DebugReloader.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Debug/DebugReloader.py b/src/Debug/DebugReloader.py index 29ca7029..4bc0bfbb 100644 --- a/src/Debug/DebugReloader.py +++ b/src/Debug/DebugReloader.py @@ -19,7 +19,9 @@ else: class DebugReloader: - def __init__(self, paths=["src", "plugins"]): + def __init__(self, paths=None): + if not paths: + paths = ["src", "plugins", config.data_dir + "/__plugins__"] self.log = logging.getLogger("DebugReloader") self.last_chaged = 0 self.callbacks = []