[projects/pld-builder.new] https is now on port 1235.

[arekm]

commit f5f78f5f08ca339f3937d7e590395af3851cf932
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Mon Nov 10 15:25:35 2014 +0100

    https is now on port 1235.

 client/make-request.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/client/make-request.sh b/client/make-request.sh
index 12cbd76..b463c27 100755
--- a/client/make-request.sh
+++ b/client/make-request.sh
@@ -43,7 +43,7 @@ url="$url"
 mailer="/usr/lib/sendmail -t"
 gpg_opts=""
 dist=th
-url="https://srcbuilder.pld-linux.org:1234/"
+url="https://srcbuilder.pld-linux.org:1235/"
 
 # defaults:
 f_upgrade=yes
@@ -540,13 +540,13 @@ ti-dev)
 th)
 	builder_email="builderth at pld-linux.org"
 	default_builders="th-*"
-	url="https://srcbuilder.pld-linux.org:1234/"
+	url="https://srcbuilder.pld-linux.org:1235/"
 	control_url="https://srcbuilder.pld-linux.org/th/"
 	;;
 th-java) # fake "dist" for java available th architectures
 	builder_email="builderth at pld-linux.org"
 	default_builders="th-x86_64 th-athlon th-i686"
-	url="https://srcbuilder.pld-linux.org:1234/"
+	url="https://srcbuilder.pld-linux.org:1235/"
 	;;
 aidath)
 	builder_email="builderaidath at ep09.pld-linux.org"
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/pld-builder.new.git/commitdiff/f5f78f5f08ca339f3937d7e590395af3851cf932