server/sources/native.py
branchstable
changeset 2566 714a8743d423
parent 2354 9b4bac626977
child 2589 92f2bc945261
--- 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,