start command: fix default value for port #244

Merged
Bogdanp merged 2 commits from master into master 4 years ago
Bogdanp commented 4 years ago (Migrated from github.com)

I noticed I made a mistake in my change from yesterday. Defaulting the port to "8080" at the command-line level is wrong because it makes it impossible to set a custom port via a setup submodule in pollen.rkt.

I noticed I made a mistake in my change from yesterday. Defaulting the port to "8080" at the `command-line` level is wrong because it makes it impossible to set a custom port via a `setup` submodule in `pollen.rkt`.
mbutterick commented 4 years ago (Migrated from github.com)

Thanks!

Thanks!
The pull request has been merged as 6cd57203c1.
You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.
git checkout -b master master
git pull origin master

Step 2:

Merge the changes and update on Gitea.
git checkout master
git merge --no-ff master
git push origin master
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: mbutterick/pollen#244
Loading…
There is no content yet.