Hans Leidekker : webservices: Avoid accessing the old user buffer in WsSetOutput/ToBuffer.