- Appended to comment:
drh added on 2008-11-09 16:24:54:
See check-in 02f09cdd6c - Change resolution to "Fixed"
- Change status to "Fixed"
- Change comment to "It is tiresome always specify an alternative HTTP port using --port command-line option. A setting to specify an alternative would be a nice enhancement."
- Change foundin to "all (to date)"
- Change severity to "Minor"
- Change status to "Open"
- Change title to "Add a setting for the default server port"
- Change type to "Feature_Request"