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

 






 

 


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

 


















 

  

   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.