| Ticket Hash: | 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 17.40 years ago |
Created: |
2008-11-09 12:34:53 17.40 years ago |
| Version Found In: | all (to date) | ||
| Description: | ||||
|
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: | ||||