really fix port

This commit is contained in:
Max Howell 2023-07-21 12:26:24 -04:00
parent 1ca2677727
commit 26f3f2ff70
No known key found for this signature in database
GPG key ID: 741BB84EF5BB9EEC

View file

@ -22,7 +22,7 @@ done
# open the URL once the HEAD request succeeds # open the URL once the HEAD request succeeds
if test -n "$TEA_GUI"; then if test -n "$TEA_GUI"; then
echo echo
echo '{"xyz.tea":{"gui":"http://127.0.0.1:5432"}}' echo "{\"xyz.tea\":{\"gui\":\"http://127.0.0.1:$PORT\"}}"
echo echo
else else
open "http://127.0.0.1:$PORT" open "http://127.0.0.1:$PORT"