Add option to configure DB port

hub/hub.conf

@@ -10,6 +10,7 @@
 DBName = koji
 DBUser = koji
 #DBHost = db.example.com
+#DBPort = 5432
 #DBPass = example_password
 KojiDir = /mnt/koji
 

hub/kojixmlrpc.py

@@ -400,6 +400,7 @@ def load_config(environ):
         ['DBUser', 'string', None],
         ['DBHost', 'string', None],
         ['DBhost', 'string', None],   # alias for backwards compatibility
+        ['DBPort', 'integer', 5432],
         ['DBPass', 'string', None],
         ['KojiDir', 'string', None],
 
@@ -665,7 +666,8 @@ def server_setup(environ):
         koji.db.provideDBopts(database=opts["DBName"],
                               user=opts["DBUser"],
                               password=opts.get("DBPass", None),
-                              host=opts.get("DBHost", None))
+                              host=opts.get("DBHost", None),
+                              port=opts.get("DBPort", 5432))
     except Exception:
         tb_str = ''.join(traceback.format_exception(*sys.exc_info()))
         logger.error(tb_str)