diff options
| author |  jesopo | 2019-06-19 23:03:27 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-19 23:03:27 +0100 |
| commit | dc9cd2869faa78b20c4feb03555f1cd93c50456a (patch) | |
| tree | 5ca8548b95d6142f58408308e5b81b984b97e485 | |
| parent | Update CHANGELOG.md (diff) | |
| signature | ||
Give requested module name to ModuleNotFoundException
| -rw-r--r-- | src/ModuleManager.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ModuleManager.py b/src/ModuleManager.py index 90ab94c7..48283c1d 100644 --- a/src/ModuleManager.py +++ b/src/ModuleManager.py @@ -307,7 +307,7 @@ class ModuleManager(object): def unload_module(self, name: str): if not name in self.modules: - raise ModuleNotFoundException() + raise ModuleNotFoundException(name) loaded_module = self.modules[name] if hasattr(loaded_module.module, "unload"): try: |