From 9ccbe91ae64897385289817483c01bbdc84a7e34 Mon Sep 17 00:00:00 2001
From: Erica Bugden <erica.bugden@gmail.com>
Date: Wed, 14 Jul 2021 20:58:53 +0000
Subject: [PATCH] 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 #415

Signed-off-by: Erica Bugden <erica.bugden@gmail.com>
---
 .gitpod.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitpod.yml b/.gitpod.yml
index 634d8b1c4..f76eb9baa 100644
--- 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