server/sources/native.py
changeset 2589 92f2bc945261
parent 2493 9806571ea790
parent 2566 714a8743d423
child 2593 16d9419a4a79
--- a/server/sources/native.py	Fri Jul 31 10:47:15 2009 +0200
+++ b/server/sources/native.py	Fri Jul 31 14:25:30 2009 +0200
@@ -113,6 +113,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,