[FIX] service : convert port into integer

bzr revid: hmo@tinyerp.com-20091126093812-okdbgtuy7y6qwhwb
This commit is contained in:
Harry (Open ERP) 2009-11-26 15:08:12 +05:30
parent 32c1411ebd
commit 68120f6438
2 changed files with 3 additions and 3 deletions

View File

@ -187,11 +187,11 @@ def init_servers():
global httpd, httpsd
if tools.config.get_misc('httpd','enable', True):
httpd = HttpDaemon(tools.config.get_misc('httpd','interface', ''), \
tools.config.get_misc('httpd','port', int(tools.config.get('port',8069))))
int(tools.config.get_misc('httpd','port', tools.config.get('port',8069))))
if tools.config.get_misc('httpsd','enable', False):
httpsd = HttpSDaemon(tools.config.get_misc('httpsd','interface', ''), \
tools.config.get_misc('httpsd','port', 8071))
int(tools.config.get_misc('httpsd','port', 8071)))
def reg_http_service(hts, secure_only = False):
""" Register some handler to httpd.

View File

@ -160,4 +160,4 @@ def init_servers():
global netrpcd
if tools.config.get_misc('netrpcd','enable', True):
netrpcd = TinySocketServerThread(tools.config.get_misc('netrpcd','interface', ''), \
tools.config.get_misc('netrpcd','port', int(tools.config.get('netport', 8070))))
int(tools.config.get_misc('netrpcd','port', tools.config.get('netport', 8070))))