From 7cb5326ba08f33e31f44d8780860f955e743eced Mon Sep 17 00:00:00 2001 From: "Joseph T. Lyons" Date: Tue, 18 Jul 2023 12:43:27 -0400 Subject: [PATCH] Fix ZED_SERVER_URL port number This change accidentally slipped into https://github.com/zed-industries/zed/pull/2746 --- script/start-local-collaboration | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/start-local-collaboration b/script/start-local-collaboration index 6c256abefe..b702fb4e02 100755 --- a/script/start-local-collaboration +++ b/script/start-local-collaboration @@ -45,7 +45,7 @@ position_2=${half_width},${y} # Authenticate using the collab server's admin secret. export ZED_STATELESS=1 export ZED_ADMIN_API_TOKEN=secret -export ZED_SERVER_URL=http://localhost:3000 +export ZED_SERVER_URL=http://localhost:8080 export ZED_WINDOW_SIZE=${half_width},${height} cargo build