Description
Bug description
A Vaadin application in development uses a websocket connection to provide live reload capabilities. The live reload server listens to port 35729, which is indicated in the lower right corner in the Gitpod UI: Ports: 33411, 35729, 3799, 8080, 45049
.
Port 35729 should be mapped to e.g.
$ gp url 35729
https://35729-jade-turkey-nd11myav.ws-eu03.gitpod.io
However, establishing a connection to wss://35729-jade-turkey-nd11myav.ws-eu03.gitpod.io/
fails without any other information in the browser console than WebSocket connection to 'wss://35729-jade-turkey-nd11myav.ws-eu03.gitpod.io/' failed
.
An additional note is that a websocket connection is also established to wss://8080-jade-turkey-nd11myav.ws-eu03.gitpod.io/vaadinServlet/?v-r=push&refresh_connection
and this one works properly
Steps to reproduce
- Open http://gitpod.io/#https://github.com/vaadin/skeleton-starter-flow-spring
- Wait for the app to be shown (a text field and a button)
Expected behavior
The dev mode indicator in the lower right corner has a full green circle, not a half red half green.
The browser console has no errors
Example repository
https://github.com/vaadin/skeleton-starter-flow-spring
Anything else?
This has worked before