How to use different port for HTTP request and different port for WebSocket in the same server?

I am attempting to run HTTP request in different port and WebSocket request in different port, in the same server. I have an application which uses Rest as well as WebSocket and both of them runs in port 9000. The requirement is to run them in different ports, for example HTTP request in port 9000 and WebScoket in port 9001.

Play does not support this right now.
It probably would be possible to bind the server backends to multiple ports which would solve your requirement (you could then in a filter check if a request is a ws request and drop it if not, based on the port). However this is not implemented yet AFAIK. If you want to provide a pull request, we are happy to review.