diff options
| author |  jesopo | 2019-06-19 23:03:43 +0100 |
|---|---|---|
| committer | jesopo | 2019-06-19 23:05:22 +0100 |
| commit | 928f2f304d3d9cc4406147f366796fbab03b0569 (patch) | |
| tree | 07962c559c2511f3ae8a85dd68642c09b0b6a883 /src | |
| parent | Give requested module name to ModuleNotFoundException (diff) | |
| signature | ||
Raise ModuleNotFoundException on failure to find_module()
Diffstat (limited to 'src')
| -rw-r--r-- | src/ModuleManager.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ModuleManager.py b/src/ModuleManager.py index 48283c1d..6d1308db 100644 --- a/src/ModuleManager.py +++ b/src/ModuleManager.py @@ -130,6 +130,9 @@ class ModuleManager(object): else: path = "%s.py" % path + if not os.path.exists(path): + raise ModuleNotFoundException(name) + return self.define_module(type, path) def _module_name(self, path: str) -> str: |