WebSocket Open Connection - httpRequest.getServerPort() always returns port 80

[Former user]

When I use a WebSocket Open Connection and specify 8080 as port, the websocket connection itself works fine.

But on server side I alway get port 80 from httpRequest.getServerPort() Do I miss some configuration?

[Peter Doornbosch]

You don't miss anything, it is a bug in the plugin: the host header does not include the port number. Will fix it asap.

Thanks for reporting the issue. I like to include the name of the reporter in the fix / acknowledgements, so if you don't mind me to do so, please tell me your name.

[Peter Doornbosch]

fixed in 0.8