patch 42b71525bc8af2e7a875fa0e091e5d62220a5937
Author: E. Bosch <presidev@AT@gmail.com>
Date: Thu Mar 3 23:55:06 CET 2022
* irc: Fix and rename options for IRC address and port
hunk ./irgramd 29
- effective_port = settings['port']
+ effective_port = settings['irc_port']
hunk ./irgramd 47
- self.address = settings['address'] or '127.0.0.1'
+ self.address = settings['irc_address']
hunk ./irgramd 69
- tornado.options.define('address', default=None, metavar='ADDRESS', help='Address to listen on.')
hunk ./irgramd 73
+ tornado.options.define('irc_address', default='127.0.0.1', metavar='ADDRESS', help='Address to listen on for IRC')
hunk ./irgramd 76
+ tornado.options.define('irc_port', type=int, default=None, metavar='PORT', help='Port to listen on for IRC. (default 6667, default with TLS 6697)')
hunk ./irgramd 81
- tornado.options.define('port', default=None, metavar='PORT', help='Port to listen on for IRC. (default 6667, default with TLS 6697)')