diff options
| author | AUTOMATIC <16777216c@gmail.com> | 2023-05-10 07:14:13 +0300 |
|---|---|---|
| committer | AUTOMATIC <16777216c@gmail.com> | 2023-05-10 07:14:13 +0300 |
| commit | d50b95b5a32b917ded123891dce3c8a018fca064 (patch) | |
| tree | 7c15f889f740f75d64af07f63fc3a4c1775ee965 | |
| parent | 921dc4639b5552438c6d28292130dc34dde4c715 (diff) | |
fix an issue preventing the program from starting if the user specifies a bad gradio theme
| -rw-r--r-- | modules/shared.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/shared.py b/modules/shared.py index 090707ca..4631965b 100644 --- a/modules/shared.py +++ b/modules/shared.py @@ -672,8 +672,8 @@ def reload_gradio_theme(theme_name=None): else:
try:
gradio_theme = gr.themes.ThemeClass.from_hub(theme_name)
- except requests.exceptions.ConnectionError:
- print("Can't access HuggingFace Hub, falling back to default Gradio theme")
+ except Exception as e:
+ errors.display(e, "changing gradio theme")
gradio_theme = gr.themes.Default()
|