From 2a4c945dceff1e4af47154a094cfc887f78a43b9 Mon Sep 17 00:00:00 2001
From: Paul Schoenfelder <paulschoenfelder@gmail.com>
Date: Fri, 1 Jun 2018 13:51:42 -0400
Subject: [PATCH] [deployment] change health check endpoint to 4000

---
 bin/deployment/health_check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/deployment/health_check b/bin/deployment/health_check
index 5375a3abe7..9419c0804d 100755
--- a/bin/deployment/health_check
+++ b/bin/deployment/health_check
@@ -7,7 +7,7 @@ timeout 120s bash <<EOT
 # Wait until an HTTP request succeeds against localhost:PORT
 function ping_server(){
     while true; do
-        if curl -sSf "http://localhost:${PORT:-80}" >/dev/null; then
+        if curl -sSf "http://localhost:4000" >/dev/null; then
             exit 0
         fi
     done