diff options
author | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-19 15:21:00 +0700 |
---|---|---|
committer | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-19 15:21:00 +0700 |
commit | 45dca0562e0a68d2f92a5b6fe0412dcd8ba0659e (patch) | |
tree | fe4131dd0f3251022c62120a5ef6bf79fa1242a3 /modules/ui_extensions.py | |
parent | 028b67b6357b5a00ccbd6ea72d2f244a6664162b (diff) | |
parent | d9fd4525a5d684100997130cc4132736bab1e4d9 (diff) |
Merge branch 'a1111' into vae-fix-none
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:
|