diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-06-27 06:20:59 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-27 06:20:59 +0300 |
| commit | 820bbb5b7bc3516e016275e10a0b92cc7de8c205 (patch) | |
| tree | b994557de6211803eca2277acad0e241a94d60f8 /modules | |
| parent | 4bd490c28dd8f17b7df943eb3963c34d725084fc (diff) | |
| parent | d5a5f2f29fc1c2b5f7dda0af5b984264744478b5 (diff) | |
Merge pull request #11408 from wfjsw/patch-1
Strip whitespaces from URL and dirname prior to extension installation
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/ui_extensions.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index 4379a641..c7e0a866 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -325,6 +325,11 @@ def normalize_git_url(url): def install_extension_from_url(dirname, url, branch_name=None):
check_access()
+ if isinstance(dirname, str):
+ dirname = dirname.strip()
+ if isinstance(url, str):
+ url = url.strip()
+
assert url, 'No URL specified'
if dirname is None or dirname == "":
|