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

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

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.
mike_conley
Review request changed
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.

chipx86
  1. 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.
    1. Done and done:  http://reviews.reviewboard.org/r/1570/
  2. contrib/internal/devserver.sh (Diff revision 1)
     
     
     
    Help text should be aligned.
  3. contrib/internal/devserver.sh (Diff revision 1)
     
     
     
     
     
     
    Indentation should be consistent with the rest of the file. I believe this file uses tabs.
  4. contrib/internal/devserver.sh (Diff revision 1)
     
     
     
     
    The ) should be aligned.
  5.