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

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

Information

Review Board
master

Reviewers

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