| |
@@ -400,6 +400,7 @@
|
| |
['DBUser', 'string', None],
|
| |
['DBHost', 'string', None],
|
| |
['DBhost', 'string', None], # alias for backwards compatibility
|
| |
+ ['DBPort', 'integer', None],
|
| |
['DBPass', 'string', None],
|
| |
['KojiDir', 'string', None],
|
| |
|
| |
@@ -665,7 +666,8 @@
|
| |
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", None))
|
| |
except Exception:
|
| |
tb_str = ''.join(traceback.format_exception(*sys.exc_info()))
|
| |
logger.error(tb_str)
|
| |
The Koji hub does not have an option to configure the port for the DB server, and psycopg2 doesn't allow you to pass a "server:port" string as a host. This pull request adds the missing DBPort option.