Rework server pinging to make it more interactive and fast

[garagatyi]

Now pinging of the servers is sequential and slow. We should rework it to allow a really interactive load of Workspace and speed up the whole process.

[gazarenkov]

Could you please be more precise, what exactly should be reworked?

[garagatyi]

Right now we ping server by server. So while we are pinging the first one others might have already been available, but we will wait until the check of the first one succeeded. So it is not really interactive from client POV.
So we want to rework this component in such a way that if a server is already available then we send an event to the client about that even if this is the last server from our list.

[gazarenkov]

I guess you are talking about some technical debt in the Docker impl, right?
I would suggest to be more precise, if you just point out the class you see the problem in, it would worth many words :)

[garagatyi]

yes, it is all about technical debt in Docker infra impl.
Here is the code I'm talking about.

[gazarenkov]

I see, thanks