From 26f3f2ff702d4ee3bc7eb05f7f2f3f8565793f04 Mon Sep 17 00:00:00 2001
From: Max Howell <mxcl@me.com>
Date: Fri, 21 Jul 2023 12:26:24 -0400
Subject: [PATCH] really fix port

---
 projects/github.com/nat/openplayground/entrypoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/github.com/nat/openplayground/entrypoint.sh b/projects/github.com/nat/openplayground/entrypoint.sh
index f722ee4a..4a43c417 100755
--- a/projects/github.com/nat/openplayground/entrypoint.sh
+++ b/projects/github.com/nat/openplayground/entrypoint.sh
@@ -22,7 +22,7 @@ done
 # open the URL once the HEAD request succeeds
 if test -n "$TEA_GUI"; then
   echo
-  echo '{"xyz.tea":{"gui":"http://127.0.0.1:5432"}}'
+  echo "{\"xyz.tea\":{\"gui\":\"http://127.0.0.1:$PORT\"}}"
   echo
 else
   open "http://127.0.0.1:$PORT"