Question: How do you get which port WebSockets is using?

[buffos]

This is definitely not an issue.

While searching the code for how to get the websocket interface's port, I couldn't find it in the plugin.

Can you please help?