const STREAM_MESSAGE_TIMEOUT: Duration;Expand description
How long to wait for a message on a gRPC subscription stream before assuming the stream is dead and re-subscribing.
Generous, because legitimate gaps between blocks/tip changes can be several minutes; this is a backstop against a wedged connection that the keep-alive ping below doesn’t catch. Re-subscribing is cheap and resumes from the syncer’s current chain tips, so an occasional false trigger during a quiet period is harmless.