Bug 1562867 - Specify port for Coverity platform. r=jcj

Differential Revision: https://phabricator.services.mozilla.com/D36584

1 files changed, 4 insertions, 2 deletions

diff --git a/mach b/mach
index ebeb26c89..7167906a3 100755
--- a/mach
+++ b/mach
@@ -87,6 +87,7 @@ class coverityAction(argparse.Action):
         self.cov_analysis_url = cov_config.get('package_url')
         self.cov_package_name = cov_config.get('package_name')
         self.cov_url = cov_config.get('server_url')
+        self.cov_port = cov_config.get('server_port')
         self.cov_auth = cov_config.get('auth_key')
         self.cov_package_ver = cov_config.get('package_ver')
         self.cov_full_stack = cov_config.get('full_stack', False)
@@ -94,7 +95,7 @@ class coverityAction(argparse.Action):
         return 0
 
     def download_coverity(self):
-        if self.cov_url is None or self.cov_analysis_url is None or self.cov_auth is None:
+        if self.cov_url is None or self.cov_port is None or self.cov_analysis_url is None or self.cov_auth is None:
             print('Missing Coverity config options!')
             return 1
 
@@ -105,6 +106,7 @@ class coverityAction(argparse.Action):
             "settings": {
             "server": {
                 "host": "%s",
+                "port": %s,
                 "ssl" : true,
                 "on_new_cert" : "trust",
                 "auth_key_file": "%s"
@@ -121,7 +123,7 @@ class coverityAction(argparse.Action):
         build_cmd = os.path.join(cwd, 'build.sh')
         cov_auth_path = os.path.join(self.cov_state_path, 'auth')
         cov_setup_path = os.path.join(self.cov_state_path, 'coverity.conf')
-        cov_conf = COVERITY_CONFIG % (self.cov_url, cov_auth_path, build_cmd, build_cmd)
+        cov_conf = COVERITY_CONFIG % (self.cov_url, self.cov_port, cov_auth_path, build_cmd, build_cmd)
 
         def download(artifact_url, target):
             import requests