playframework/Play20 — pull request #202 by SimonChong (2012-03-24 11:34:44+00:00)
Title: Fixed bug specifying port number when running play cmd in Windows

Running cmd: play "run PORT NUMBER" or: play debug "run PORT NUMBER" has been fixed.