diff options
author | DepFA <35278260+dfaker@users.noreply.github.com> | 2022-10-01 22:50:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-01 22:50:03 +0100 |
commit | 30f2e3565840544dd66470c6ef216ec664db6432 (patch) | |
tree | 4f46636d4fdcda9a01ab342da45ae1a800026f95 | |
parent | afaa03c5fd05f48ed9c9f15558ea6f0bc4f61628 (diff) |
add importlib.reload
-rw-r--r-- | webui.py | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,7 +1,7 @@ import os
import threading
import time
-
+import importlib
from modules import devices
from modules.paths import script_path
import signal
@@ -116,8 +116,10 @@ def webui(): time.sleep(0.5)
break
- print('Reloading Scripts')
+ print('Reloading Custom Scripts')
modules.scripts.reload_scripts(os.path.join(script_path, "scripts"))
+ print('Reloading modules: modules.ui')
+ importlib.reload(modules.ui)
print('Restarting Gradio')
|