diff options
| author | anonCantCode <133663594+anonCantCode@users.noreply.github.com> | 2023-05-20 11:13:03 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-20 11:13:03 +0530 |
| commit | 0b6ca8e77b498a2a6fd0161f7d296a0b49c4358b (patch) | |
| tree | f0e924d8f1487171571c1cb8e2e241803d01e17c /modules | |
| parent | 3758744eb67d4ec1175d9b91665211a80ae36e8e (diff) | |
preserve declarations
Diffstat (limited to 'modules')
| -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 80160468..e53b1e11 100644 --- a/modules/shared.py +++ b/modules/shared.py @@ -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.
"""
|