Append port number to Host and Origin header, only if specified in the url and non-default
Append port number to Host and Origin header, only if specified in the url and non-default

websockets/ws,guymguym/ws,karatheodory/ws