server/serverctl.py
changeset 8669 62213a34726e
parent 8544 3d049071957e
child 8695 358d8bed9626
equal deleted inserted replaced
8668:4fea61c636b2 8669:62213a34726e
   440         from logilab.database import get_connection
   440         from logilab.database import get_connection
   441         appid = args[0]
   441         appid = args[0]
   442         config = ServerConfiguration.config_for(appid)
   442         config = ServerConfiguration.config_for(appid)
   443         try:
   443         try:
   444             system = config.sources()['system']
   444             system = config.sources()['system']
   445             extra_args=system.get('db-extra-arguments')
   445             extra_args = system.get('db-extra-arguments')
   446             extra = extra_args and {'extra_args': extra_args} or {}
   446             extra = extra_args and {'extra_args': extra_args} or {}
   447             get_connection(
   447             get_connection(
   448                 system['db-driver'], database=system['db-name'],
   448                 system['db-driver'], database=system['db-name'],
   449                 host=system.get('db-host'), port=system.get('db-port'),
   449                 host=system.get('db-host'), port=system.get('db-port'),
   450                 user=system.get('db-user') or '', password=system.get('db-password') or '',
   450                 user=system.get('db-user') or '', password=system.get('db-password') or '',