Port devserver.sh to Python, and add optional port argument
Review Request #1570 — Created May 2, 2010 and submitted — Latest diff uploaded
Ported the devserver shell script to Python. Now takes optional -p parameter to set server port.
Tested manually. I ran from other directories, and moved various folders in order to trigger the error messages, and they all seem to do the job.