Changed port number of websockets to 8443 for SSL