# HG changeset patch # User Sylvain Thénault # Date 1248884789 -7200 # Node ID 714a8743d4236ab709348cb5df091a2e6c169274 # Parent 73c83c14dd2cd39cb0f0cc7d8cc5a3611daf288a missing db-port option to source's option definitions diff -r 73c83c14dd2c -r 714a8743d423 server/sources/native.py --- a/server/sources/native.py Tue Jul 28 21:11:10 2009 +0200 +++ b/server/sources/native.py Wed Jul 29 18:26:29 2009 +0200 @@ -112,6 +112,12 @@ 'help': 'database host', 'group': 'native-source', 'inputlevel': 1, }), + ('db-port', + {'type' : 'string', + 'default': '', + 'help': 'database port', + 'group': 'native-source', 'inputlevel': 1, + }), ('db-name', {'type' : 'string', 'default': REQUIRED,