graeme-f/edenstart — pull request #1 by chaconne7 (2013-12-26 18:50:52+00:00)
Title: Database port number

Updates default.py so that if user selects a different database, the port number will change. (Second commit corrects an error in the first.)