From 460e47e0a9b542a8d09d1ab23acecd0631cc0d66 Mon Sep 17 00:00:00 2001
From: Chris Yeung <38325429+chrishkchris@users.noreply.github.com>
Date: Tue, 4 Aug 2020 16:47:08 +0800
Subject: [PATCH] For docker WebAdmin environment: Change the hardcoded host
 and port back

---
 web/src/HTTPconfig.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/web/src/HTTPconfig.js b/web/src/HTTPconfig.js
index 66e191c6..a4ed9624 100644
--- a/web/src/HTTPconfig.js
+++ b/web/src/HTTPconfig.js
@@ -8,10 +8,10 @@ REACT_APP_API_POINT_PORT=$ADMIN_EXT_PORT
 for local development, no need to source the env.sh or .env.
 */
 
-// const adminHost = process.env.REACT_APP_API_POINT_HOST
-// const adminPort = process.env.REACT_APP_API_POINT_PORT
-const adminHost = 'ncrs.d2.comp.nus.edu.sg'
-const adminPort = '3000'
+const adminHost = process.env.REACT_APP_API_POINT_HOST
+const adminPort = process.env.REACT_APP_API_POINT_PORT
+// const adminHost = 'ncrs.d2.comp.nus.edu.sg'
+// const adminPort = '3000'
 
 const HTTPconfig = {
   // the client tells server data-type json is actually sent.