asterix, so websockets should work fine, as they also use port 443
also you could setup your server so it offers direct ssl on 443
or more correctly websocket can use 443