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.