server/sources/native.py
changeset 2589 92f2bc945261
parent 2493 9806571ea790
parent 2566 714a8743d423
child 2593 16d9419a4a79
equal deleted inserted replaced
2586:879912fe94e1 2589:92f2bc945261
   109           }),
   109           }),
   110         ('db-host',
   110         ('db-host',
   111          {'type' : 'string',
   111          {'type' : 'string',
   112           'default': '',
   112           'default': '',
   113           'help': 'database host',
   113           'help': 'database host',
       
   114           'group': 'native-source', 'inputlevel': 1,
       
   115           }),
       
   116         ('db-port',
       
   117          {'type' : 'string',
       
   118           'default': '',
       
   119           'help': 'database port',
   114           'group': 'native-source', 'inputlevel': 1,
   120           'group': 'native-source', 'inputlevel': 1,
   115           }),
   121           }),
   116         ('db-name',
   122         ('db-name',
   117          {'type' : 'string',
   123          {'type' : 'string',
   118           'default': REQUIRED,
   124           'default': REQUIRED,