diff options
| author | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-19 15:20:07 +0700 |
|---|---|---|
| committer | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-19 15:20:07 +0700 |
| commit | f1bdf2b15f32dffe9947fc14b107c1b8bd51ab55 (patch) | |
| tree | 7d192cbb2f458427f41b2137eeeb68b2754537a2 /modules/ui_extensions.py | |
| parent | c8f7b5cdd73969d3d5027ceb71cbbd83d557702b (diff) | |
| parent | d9fd4525a5d684100997130cc4132736bab1e4d9 (diff) | |
Merge branch 'a1111' into vae-misc
Diffstat (limited to 'modules/ui_extensions.py')
| -rw-r--r-- | modules/ui_extensions.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index 02ab9643..6671cb60 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -134,6 +134,9 @@ def install_extension_from_url(dirname, url): os.rename(tmpdir, target_dir)
+ import launch
+ launch.run_extension_installer(target_dir)
+
extensions.list_extensions()
return [extension_table(), html.escape(f"Installed into {target_dir}. Use Installed tab to restart.")]
finally:
|