diff options
author | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-19 16:38:21 +0700 |
---|---|---|
committer | Muhammad Rizqi Nur <rizqinur2010@gmail.com> | 2022-11-19 16:38:21 +0700 |
commit | 8662b5e57fb66ca16237107e67af97a709457eab (patch) | |
tree | 587098ef7713725d24691554cc821b1828d708c0 /modules/ui_extensions.py | |
parent | 45dca0562e0a68d2f92a5b6fe0412dcd8ba0659e (diff) | |
parent | ff35ae9abb0e2d680bd881e219baf6c998019a9a (diff) |
Merge branch 'a1111' into vae-fix-none
Diffstat (limited to 'modules/ui_extensions.py')
-rw-r--r-- | modules/ui_extensions.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index 6671cb60..030f011e 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -36,9 +36,9 @@ def apply_and_restart(disable_list, update_list): continue
try:
- ext.pull()
+ ext.fetch_and_reset_hard()
except Exception:
- print(f"Error pulling updates for {ext.name}:", file=sys.stderr)
+ print(f"Error getting updates for {ext.name}:", file=sys.stderr)
print(traceback.format_exc(), file=sys.stderr)
shared.opts.disabled_extensions = disabled
|