Change Summary:
typo
Description: |
|
---|
Review Request #1558 — Created April 30, 2010 and discarded
Information | |
---|---|
mike_conley | |
Review Board | |
master | |
1596 | |
Reviewers | |
reviewboard | |
devserver.sh now takes a -p PORT argument to set a custom server port. If -p is not specified, defaults to 8080.
Manually tested.
contrib/internal/devserver.sh (Diff revision 1) |
---|
Indentation should be consistent with the rest of the file. I believe this file uses tabs.