B. Petersen fe53eb2b37 feat: tune down io-not-started info in connectivity-html ...

due to async processing,
it may happen getConnectivityHtml() is called from UI before startIO() is actually called.
eg. on iOS, we may delay startIo() if another process is still processing a PUSH notification -
when during this time, the connectivity view is opened,
it is weird if a big error "CONTACT THE DEVELOPERS!11!!!" is shown :)

also, there is not really a function is_connected(),
for $reasons, as this turned out to be flacky,
so it is not even easy to check the state before calling getConnectivityHtml()

it is not worth in doing too much special,
we are talking about rare situaton,
also, the connectivity view gets updated some moments later.

2024-11-13 13:20:00 +01:00

..

connectivity.rs

feat: tune down io-not-started info in connectivity-html

2024-11-13 13:20:00 +01:00