board.org/ What version are you running? Bleeding edge What's the URL of the page this enhancement relates to, if any? None :) This is script in development environment to run server Describe the enhancement and the motivation for it. I work on server where many ports is behind firewall, 8080 also. This will be very very nice to pass additional argument and run development server on another port. Alternative for me is wait (long time) for IT department to unblock port i need, use netcat, apache to proxy port or change script and develop with custom uncommited changes in git tree. What operating system are you using? What browser? Please provide any additional information below.
- Priority-Medium + Priority-Low + Milestone-Release1.5
Posted a patch for this here: http://reviews.reviewboard.org/r/1570/
Fixed on master (cbebd04) As part of this change, devserver.sh has been renamed to devserver.py.
- Confirmed + Fixed