title: how can I run play framework with port=9001 under windows cmd not under play console?
body: <p>Under Play console, I can type "run 9001" to run a server in port 9001.
  But Under windows cmd,  When I type "play run 9001", it does not work.</p>
  
  <p>Please help .</p>