diff options
| author |  jesopo | 2019-02-22 17:58:53 +0000 |
|---|---|---|
| committer | jesopo | 2019-02-22 17:58:53 +0000 |
| commit | 8a0fd009e47ec4e715af437cedb3f76d1d96b67a (patch) | |
| tree | 192d2dd2726dad9339018cf030996413d07d97c4 | |
| parent | Clear command Out text when there's nothing left to send (diff) | |
| signature | ||
Also unload submodules within packages (ModuleManager.py)
| -rw-r--r-- | src/ModuleManager.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ModuleManager.py b/src/ModuleManager.py index fb500a87..51557a3e 100644 --- a/src/ModuleManager.py +++ b/src/ModuleManager.py @@ -203,7 +203,13 @@ class ModuleManager(object): module = loaded_module.module del loaded_module.module + del sys.modules[loaded_module.import_name] + namespace = "%s." % loaded_module.import_name + for import_name in list(sys.modules.keys()): + if import_name.startswith(namespace): + del sys.modules[import_name] + references = sys.getrefcount(module) referrers = gc.get_referrers(module) del module |