fix wschannel-server config settings