added server attribute to WsConfiguration