From 82b51c1fa7b2d585754874cfdde4cfa1db65b220 Mon Sep 17 00:00:00 2001 From: Kasra Bigdeli Date: Mon, 17 Feb 2025 12:02:50 -0800 Subject: [PATCH] Removed custom port from dev script --- dev-scripts/dev-clean-run-as-dev.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/dev-scripts/dev-clean-run-as-dev.sh b/dev-scripts/dev-clean-run-as-dev.sh index 5110d20..cd660ef 100755 --- a/dev-scripts/dev-clean-run-as-dev.sh +++ b/dev-scripts/dev-clean-run-as-dev.sh @@ -24,5 +24,6 @@ docker run \ # -e "CAPTAIN_HOST_HTTP_PORT=10083" \ # -e "CAPTAIN_HOST_HTTPS_PORT=10443" \ # -e "CAPTAIN_HOST_ADMIN_PORT=13000" \ + sleep 2s docker service logs captain-captain --follow