Use [server] configuration for websockets
Use port settings instead of old config items