diff roundup/scripts/roundup_server.py @ 2676:ea18be87d68d

apply DEFAULT_PORT in the same way as other defaults... (wasn't set at all if there was no config)
author Alexander Smishlajev <a1s@users.sourceforge.net>
date Tue, 21 Sep 2004 09:29:18 +0000
parents 52e679309217
children d385f6c1d4ed
line wrap: on
line diff
--- a/roundup/scripts/roundup_server.py	Tue Sep 21 08:16:50 2004 +0000
+++ b/roundup/scripts/roundup_server.py	Tue Sep 21 09:29:18 2004 +0000
@@ -17,7 +17,7 @@
 
 """Command-line script that runs a server over roundup.cgi.client.
 
-$Id: roundup_server.py,v 1.61 2004-09-21 08:16:50 a1s Exp $
+$Id: roundup_server.py,v 1.62 2004-09-21 09:29:18 a1s Exp $
 """
 __docformat__ = 'restructuredtext'
 
@@ -509,8 +509,8 @@
         if config:
             cfg = ConfigParser.ConfigParser()
             cfg.read(filename)
-            if port is undefined:
-                port = cfg.get('server', 'port', DEFAULT_PORT)
+            if port is undefined and cfg.has_option('server', 'port'):
+                port = cfg.get('server', 'port')
             if user is undefined and cfg.has_option('server', 'user'):
                 user = cfg.get('server', 'user')
             if group is undefined and cfg.has_option('server', 'group'):
@@ -531,6 +531,8 @@
         # defaults
         if hostname is undefined:
             hostname = ''
+        if port is undefined:
+            port = DEFAULT_PORT
         if group is undefined:
             group = None
         if user is undefined:

Roundup Issue Tracker: http://roundup-tracker.org/