Mirror/stable-diffusion-webui
1
0
Fork 0
mirror of https://github.com/AUTOMATIC1111/stable-diffusion-webui.git synced 2024-06-07 21:20:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

preserve declarations

Browse Source
This commit is contained in:
anonCantCode 2023-05-20 11:13:03 +05:30 committed by GitHub
parent 3758744eb6
commit 0b6ca8e77b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
modules/shared.py
View File

@ -114,7 +114,7 @@ class State:
time_start = None
server_start = None
_server_command_signal = threading.Event()
_server_command: Optional[str]
_server_command: Optional[str] = None
@property
def need_restart(self) -> bool:
@ -139,7 +139,7 @@ class State:
self._server_command = value
self._server_command_signal.set()
def wait_for_server_command(self, timeout: Optional[float]) -> Optional[str]:
def wait_for_server_command(self, timeout: Optional[float] = None) -> Optional[str]:
"""
Wait for server command to get set; return and clear the value and signal.
"""