Change build host to build.geoserver.org and build URL to HTTPS

zhouxu1984 · Dec 20, 2017 · 0d7a327 · 0d7a327
1 parent 7c1cd29
commit 0d7a327
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build/properties b/build/properties
@@ -28,11 +28,11 @@ if [ -z $DIST_PATH ]; then
 fi
 
 if [ -z $DIST_HOST ]; then
-  DIST_HOST=ares.boundlessgeo.com
+  DIST_HOST=build.geoserver.org
 fi
 
 if [ -z $DIST_URL ]; then
-  DIST_URL=http://$DIST_HOST/geoserver/release
+  DIST_URL=https://$DIST_HOST/geoserver/release
 fi
 
 if [ -z $DIST_PORT ]; then