- From: Doug Davis via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 11 Nov 2009 00:11:05 +0000
- To: public-ws-resource-access-notifications@w3.org
Update of /w3ccvs/WWW/2002/ws/ra/edcopies
In directory hutz:/tmp/cvs-serv10429
Modified Files:
wsenum.html wsenum.xml wseventing.html wseventing.xml
Log Message:
s/must/MUST - missed while adding recently
Index: wseventing.xml
===================================================================
RCS file: /w3ccvs/WWW/2002/ws/ra/edcopies/wseventing.xml,v
retrieving revision 1.122
retrieving revision 1.123
diff -u -d -r1.122 -r1.123
--- wseventing.xml 7 Nov 2009 21:34:02 -0000 1.122
+++ wseventing.xml 11 Nov 2009 00:11:03 -0000 1.123
@@ -964,7 +964,7 @@
The value types in a wse:Expires element MAY differ among the
element and its attributes. For example, the element value may be a
duration while the @max attribute may be a specific time. Regardless
- of the value types, it must be true that wse:Expires/@min <=
+ of the value types, it MUST be true that wse:Expires/@min <=
wse:Expires <= wse:Expires/@max as interpreted by the event source
or subscription manager at the time the wse:Subscribe request is
processed. If this is not true, the request MUST fail and the
Index: wseventing.html
===================================================================
RCS file: /w3ccvs/WWW/2002/ws/ra/edcopies/wseventing.html,v
retrieving revision 1.129
retrieving revision 1.130
diff -u -d -r1.129 -r1.130
--- wseventing.html 7 Nov 2009 21:34:02 -0000 1.129
+++ wseventing.html 11 Nov 2009 00:11:03 -0000 1.130
@@ -563,7 +563,7 @@
The value types in a wse:Expires element MAY differ among the
element and its attributes. For example, the element value may be a
duration while the @max attribute may be a specific time. Regardless
- of the value types, it must be true that wse:Expires/@min <=
+ of the value types, it MUST be true that wse:Expires/@min <=
wse:Expires <= wse:Expires/@max as interpreted by the event source
or subscription manager at the time the wse:Subscribe request is
processed. If this is not true, the request MUST fail and the
Index: wsenum.html
===================================================================
RCS file: /w3ccvs/WWW/2002/ws/ra/edcopies/wsenum.html,v
retrieving revision 1.92
retrieving revision 1.93
diff -u -d -r1.92 -r1.93
--- wsenum.html 7 Nov 2009 16:33:01 -0000 1.92
+++ wsenum.html 11 Nov 2009 00:11:02 -0000 1.93
@@ -417,7 +417,7 @@
The value types in a wsen:Expires element MAY differ among the
element and its attributes. For example, the element value may be a
duration while the @max attribute may be a specific time. Regardless
- of the value types, it must be true that wsen:Expires/@min <=
+ of the value types, it MUST be true that wsen:Expires/@min <=
wsen:Expires <= wsen:Expires/@max as interpreted by the data source
at the time the wsen:Enumerate request is
processed. If this is not true, the request MUST fail and the
Index: wsenum.xml
===================================================================
RCS file: /w3ccvs/WWW/2002/ws/ra/edcopies/wsenum.xml,v
retrieving revision 1.84
retrieving revision 1.85
diff -u -d -r1.84 -r1.85
--- wsenum.xml 7 Nov 2009 16:33:01 -0000 1.84
+++ wsenum.xml 11 Nov 2009 00:11:03 -0000 1.85
@@ -713,7 +713,7 @@
The value types in a wsen:Expires element MAY differ among the
element and its attributes. For example, the element value may be a
duration while the @max attribute may be a specific time. Regardless
- of the value types, it must be true that wsen:Expires/@min <=
+ of the value types, it MUST be true that wsen:Expires/@min <=
wsen:Expires <= wsen:Expires/@max as interpreted by the data source
at the time the wsen:Enumerate request is
processed. If this is not true, the request MUST fail and the
Received on Wednesday, 11 November 2009 00:11:14 UTC