| Ticket UUID: | 7168128e099238f060a94e06ef9cfe29c373f8b2 | ||
| Title: | Add a setting for the default server port | ||
| Status: | Fixed | Type: | Feature_Request |
| Severity: | Minor | Priority: | |
| Subsystem: | Resolution: | Fixed | |
| Last Modified: | 2008-11-09 16:24:54 | ||
| Version Found In: | all (to date) | ||
| Description & Comments: | |||
|
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.
drh added on 2008-11-09 16:24:54: | |||
View Ticket