diff options
| author |  jesopo | 2019-06-19 23:11:42 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-19 23:11:42 +0100 |
| commit | 612c26ff7e836e83763db4033a064e0c7f541d9f (patch) | |
| tree | 7f89c7f0361ac432e8659855f54c86a0af923b33 | |
| parent | Raise ModuleNotFoundException on failure to find_module() (diff) | |
| signature | ||
Differentiate between module "not found" and "not loaded"
| -rw-r--r-- | src/ModuleManager.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/ModuleManager.py b/src/ModuleManager.py index 6d1308db..df2c1250 100644 --- a/src/ModuleManager.py +++ b/src/ModuleManager.py @@ -6,8 +6,11 @@ class ModuleException(Exception): class ModuleWarning(Exception): pass +class ModuleNotLoadedException(ModuleException): + pass class ModuleNotFoundException(ModuleException): pass + class ModuleNameCollisionException(ModuleException): pass class ModuleLoadException(ModuleException): @@ -310,7 +313,7 @@ class ModuleManager(object): def unload_module(self, name: str): if not name in self.modules: - raise ModuleNotFoundException(name) + raise ModuleNotLoadedException(name) loaded_module = self.modules[name] if hasattr(loaded_module.module, "unload"): try: |