Allow ping requests before initialization (#1312)

This commit is contained in:
Eleftheria Stein-Kousathana 2025-09-01 23:37:36 +02:00 • committed by GitHub
commit 47d35f0b3c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -161,6 +161,9 @@ class ServerSession(
)
)
)
case types.PingRequest():
# Ping requests are allowed at any time
pass
case _:
if self._initialization_state != InitializationState.Initialized:
raise RuntimeError("Received request before initialization was complete")