使用非默认端口启动Play

Play运行的时候默认的端口是9000，远程调试的端口是9999.
在生产环境可能会使用Apache或者是Nginx来重定向到9000端口。开发过程中如果想要使用某个端口启动Play，那么：

1.进入到项目的根目录。
2.输入play进入控制台。
3.run 10000使用10000作为端口来运行play。

另外一种方法：
play "run 10000"
在生产环境可以使用：
play "start 10000"