← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to setup.py

  • Committer: mattgiuca
  • Date: 2008-02-18 00:32:43 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:487
setup.py: Added code to convert usrmgt_port into an int before writing to conf
    (and checking). Same as db_port.
userservice: Now uses config'd values for usrmgt settings instead of
    hard-coded.

Show diffs side-by-side

added added

removed removed

Lines of Context:
setup.py
568
568
        file.write(']\n')
569
569
 
570
570
def conf(args):
571
 
    global db_port
 
571
    global db_port, usrmgt_port
572
572
    # Set up some variables
573
573
 
574
574
    cwd = os.getcwd()
631
631
        "Invalid DB port (%s).\n"
632
632
        "Must be an integer between 0 and 65535." % repr(db_port))
633
633
        return 1
 
634
    try:
 
635
        usrmgt_port = int(usrmgt_port)
 
636
        if usrmgt_port < 0 or usrmgt_port >= 65536: raise ValueError()
 
637
    except ValueError:
 
638
        print >>sys.stderr, (
 
639
        "Invalid user management port (%s).\n"
 
640
        "Must be an integer between 0 and 65535." % repr(usrmgt_port))
 
641
        return 1
634
642
 
635
643
    # Write lib/conf/conf.py
636
644