I find that Theia Frontend keeps reconnecting to the Backend after the Backend has shut down, as a result, once the Backend restart, the Frontend can connect to it.
But i want to make the reconnection manually. For example, only if the user move the mouse over the offline page, its Frontend sends a reconnection message to the Backend.
Can i do that? Please help.