diff options
author | AUTOMATIC <16777216c@gmail.com> | 2023-04-29 13:45:05 +0300 |
---|---|---|
committer | AUTOMATIC <16777216c@gmail.com> | 2023-04-29 13:45:14 +0300 |
commit | cb940a583d909f5f144ffc6e4ad83a319620df69 (patch) | |
tree | e654232c946d8b48a819e8172d1cd12c9a702947 /modules/ui_extensions.py | |
parent | 376e99f681ef617f43eaba5eea06cdbcadb35a52 (diff) |
fix extension installation broken by #9518
Diffstat (limited to 'modules/ui_extensions.py')
-rw-r--r-- | modules/ui_extensions.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index b402bc8b..e90bedc8 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -129,7 +129,7 @@ def normalize_git_url(url): return url
-def install_extension_from_url(dirname, branch_name, url):
+def install_extension_from_url(dirname, url, branch_name=None):
check_access()
assert url, 'No URL specified'
@@ -150,7 +150,7 @@ def install_extension_from_url(dirname, branch_name, url): try:
shutil.rmtree(tmpdir, True)
- if branch_name == '':
+ if not branch_name:
# if no branch is specified, use the default branch
with git.Repo.clone_from(url, tmpdir) as repo:
repo.remote().fetch()
@@ -390,7 +390,7 @@ def create_ui(): install_button.click(
fn=modules.ui.wrap_gradio_call(install_extension_from_url, extra_outputs=[gr.update()]),
- inputs=[install_dirname, install_branch, install_url],
+ inputs=[install_dirname, install_url, install_branch],
outputs=[extensions_table, install_result],
)
|