From bcdffacab5625ee1fcf4645440c7a77f0434c7ed Mon Sep 17 00:00:00 2001
From: jesopo
Date: Mon, 4 Nov 2019 10:52:41 +0000
Subject: add on_pause() and on_resume() for module - use in rest_api.py

---
 src/ModuleManager.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src')

diff --git a/src/ModuleManager.py b/src/ModuleManager.py
index 6497129b..65f7c11e 100644
--- a/src/ModuleManager.py
+++ b/src/ModuleManager.py
@@ -60,6 +60,11 @@ class BaseModule(object):
     def unload(self):
         pass
 
+    def on_pause(self):
+        pass
+    def on_resume(self):
+        pass
+
     def command_line(self, args: str):
         pass
 
@@ -381,6 +386,9 @@ class ModuleManager(object):
         old_modules = self.modules
         self.modules = {}
 
+        for module in old_modules.values():
+            module.module.on_pause()
+
         failed = None
         for definition in loadable:
             try:
@@ -393,6 +401,8 @@ class ModuleManager(object):
             for module in self.modules.values():
                 self._unload_module(module)
             self.modules = old_modules
+            for module in old_modules.values():
+                module.module.on_resume()
 
             definition, exception = failed
             return TryReloadResult(False,
-- 
cgit v1.3.1-10-gc9f91