Thank you @Anton Kosyakov, and sorry, i don’t know why i cann’t reply in my post. So i continue my question here. You said Theia uses web socket ping/pong and if there is no response in 30s the connection is closed. But how can my Widget know there is no response? Is there any APIs can use?
[original thread by PeimingMo]