New Issue: Invariant wrong

[Paul Fremantle <paul@wso2.com>]

The 2nd Protocol Invariant (sec 2.3) says:

Within every Acknowledgement Message it issues, the RM Destination MUST 
include one or more
AcknowledgementRange child elements that contain, in their collective 
ranges, the message
number of every message accepted by the RM Destination. The RM 
Destination MUST exclude, in
the AcknowledgementRange elements, the message numbers of any messages 
it has not
accepted.

This isn't true in the case when the SequenceAck is either None or Nack.

Paul

-- 
Paul Fremantle
VP/Technology and Partnerships, WSO2 
OASIS WS-RX TC Co-chair

http://bloglines.com/blog/paulfremantle
paul@wso2.com
(646) 290 8050

"Oxygenating the Web Service Platform", www.wso2.com