Change default URL scheme to https://.

svn path=/apt-tools/; revision=6357

rpki-pbuilder.py

@@ -55,6 +55,8 @@ parser.add_argument("--apt-user", default = "aptbot",
                     help = "username for uploading apt repository to public web server")
 parser.add_argument("--url-host", default = "download.rpki.net",
                     help = "hostname of public web server")
+parser.add_argument("--url-scheme", default = "https",
+                    help = "URL scheme of public web server")
 parser.add_argument("--url-path", default = "/APT",
                     help = "path of apt repository on public web server")
 parser.add_argument("--backports", nargs = "+", default = ["python-django", "python-tornado"],
@@ -133,7 +135,8 @@ class Release(object):
     def __init__(self, distribution_release, backports):
         self.distribution, self.release = distribution_release.split("/")
         self.backports = backports
-        self.apt_source = "http://{host}/{path}/{distribution} {release} main".format(
+        self.apt_source = "{scheme}://{host}/{path}/{distribution} {release} main".format(
+            scheme = args.url_scheme,
             host = args.url_host,
             path = args.url_path.strip("/"),
             distribution = self.distribution,