[protocol] connection: buffer messages until reconnect

[geropl]

Description

This avoids Error("Connection got disposed") errors which gobble up to the frontend and block users. Also, it makes the frontend's websocket connection more resilient in general: Instead of dropping calls, those are buffered and re-issued once the connection is reestablished.

Related Issue(s)

Fixes #5042

How to test

Login to preview env

1. go here and login
2. note how you're re-directed on successful login with GitHub/GitLab

Start a workspace

1. open devtools (console and network)
2. start any workspace
3. note how websocket connections work and open as expected

View build logs

1. open a context that requires an image build
2. wait until you see the log appearing
3. terminate the websocket connection (by killing server)
4. notice how the logs re-start scrolling automatically once server and the websocket connection is up-and-running again

Release Notes

improve websocket reconnection handling in the frontend

• /werft with-clean-slate-deployment

[geropl]

@akosyakov I'm not 100% sure that this is worth the effort (code complexity, potential fallout), but her it is 🤷 😉

[akosyakov]

/werft run

👍 started the job as gitpod-build-gpl-5042-conn-disposed.12

[akosyakov]

/lgtm
@geropl I tested and everything seems to work.

/hold
see comment about logs, maybe they should be of debug level?

[roboquat]

LGTM label has been added.

Git tree hash: 4acb2df23463a7bb5300d92035b349b5eefa590d

[geropl]

see comment about logs, maybe they should be of debug level?

@akosyakov commented out log statements

[akosyakov]

/lgtm

[roboquat]

LGTM label has been added.

Git tree hash: 3a3881a7325f6905ed44f26ee3f7f7430ae27ecc

[akosyakov]

/unhold

@geropl I think you need add approve label to merge it.

[geropl]

/approve

[roboquat]

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: akosyakov, geropl

Associated issue: #5042

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

• components/dashboard/OWNERS [geropl]
• components/gitpod-protocol/OWNERS [geropl]

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment