Summary

Add custom port argument to contrib/internal/devserver.sh

Review Request #1558 — Created April 30, 2010 and discarded

Information

Owner

mike_conley

Repository

Review Board

Branch

master

Bugs

1596

Depends On

Reviewers

Groups

reviewboard

People

Description

devserver.sh now takes a -p PORT argument to set a custom server port.  If -p is not specified, defaults to 8080.

Testing Done

Manually tested.

Change Summary:: typo
Description:: ~
devserver.sh now takes a -p PORT argument to set a custom server port. If -p is not specifies, defaults to 8080.
~
devserver.sh now takes a -p PORT argument to set a custom server port. If -p is not specified, defaults to 8080.

Since we're making this more complex, maybe it's time to just rewrite this in Python? It'd have the advantage of being usable to Windows users as well. You certainly don't have to do this, but it'd be a nice change.

mike_conley

May 2, 2010, 2:14 p.m.

Done and done:  http://reviews.reviewboard.org/r/1570/

contrib/internal/devserver.sh (Diff revision 1)
```
Help text should be aligned.
```

contrib/internal/devserver.sh (Diff revision 1)

Indentation should be consistent with the rest of the file. I believe this file uses tabs.

contrib/internal/devserver.sh (Diff revision 1)
```
The ) should be aligned.
```

~		devserver.sh now takes a -p PORT argument to set a custom server port. If -p is not specifies, defaults to 8080.
	~	devserver.sh now takes a -p PORT argument to set a custom server port. If -p is not specified, defaults to 8080.