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

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.
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
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. 
  
    
 
    

 
    
  


    
 
    
 
      

  

 
    


    

 
    

    6. 




  

 









     

    

   

  

  

   
   Loading...