Make server port (8080) public

Gitpod recently changed their default port visibility from public to private. This made it impossible for the front end to automatically connect to the trace server. Making the port used by the server (8080) public solves this issue. Fixes eclipse-cdt-cloud#415 Signed-off-by: Erica Bugden <[email protected]>
ebugden · Jul 14, 2021 · 9ccbe91 · 9ccbe91
1 parent 69c6021
commit 9ccbe91
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -12,6 +12,7 @@ ports:
   onOpen: ignore
 - port: 8080 # Trace Compass server
   onOpen: ignore
+  visibility: public
 tasks:
 - init: >
     yarn download:server