The timeout duration (in ms) after a request was answered with an error code. 5000 by default.
Number of failed websocket connection attempts before the fallback is triggered. 2 by default.
The maximum duration (in ms) after which the http request should timeout. 5000 by default.
The minimum timeout duration (in ms) between two http requests. 0 by default.
Determines whether Theia is allowed to use the http fallback. True by default.