Include cancel

diff --git a/doc/html/tep116.html b/doc/html/tep116.html
index 16f0612f5fa419b82644a10a56a5ffacd0f859d1..c53fe9e65c3d273e4587fdc5332ee46fef2424ad 100644 (file)
--- a/doc/html/tep116.html
+++ b/doc/html/tep116.html
@@ -303,7 +303,7 @@ ul.auto-toc {
 <td>Philip Levis</td></tr>
 <tr class="field"><th class="docinfo-name">Draft-Created:</th><td class="field-body">10-Dec-2004</td>
 </tr>
-<tr class="field"><th class="docinfo-name">Draft-Version:</th><td class="field-body">1.7</td>
+<tr class="field"><th class="docinfo-name">Draft-Version:</th><td class="field-body">1.8</td>
 </tr>
 <tr class="field"><th class="docinfo-name">Draft-Modified:</th><td class="field-body">2007-03-14</td>
 </tr>
@@ -571,6 +571,13 @@ if (call Send.send(...) == SUCCESS &amp;&amp;
 use a QueueC (found in tos/system) to store pending packet pointers
 and serialize them onto sending interface, or they can introduce
 a new sending interface that supports multiple pending transmissions.</p>
+<p>The cancel command allows a sender to cancel the current transmission.
+A call to cancel when there is no pending sendDone event MUST return FAIL.
+If there is a pending sendDone event and the cancel returns SUCCESS, then
+the packet layer MUST NOT transmit the packet and MUST signal sendDone
+with ECANCEL as its error code. If there is a pending sendDone event
+and cancel returns FAIL, then sendDone SHOULD occur as if the cancel
+was not called.</p>
 </div>
 <div class="section">
 <h2><a id="receive-interface" name="receive-interface">2.3 Receive interface</a></h2>

diff --git a/doc/txt/tep116.txt b/doc/txt/tep116.txt
index b5dcf1b2e4a3e547605757646792648c7a98b366..ee6b25dcc0220ae0f8da7fd6bc236a213fa10c6d 100644 (file)
--- a/doc/txt/tep116.txt
+++ b/doc/txt/tep116.txt
@@ -296,6 +296,14 @@ use a QueueC (found in tos/system) to store pending packet pointers
 and serialize them onto sending interface, or they can introduce
 a new sending interface that supports multiple pending transmissions.
 
+The cancel command allows a sender to cancel the current transmission.
+A call to cancel when there is no pending sendDone event MUST return FAIL.
+If there is a pending sendDone event and the cancel returns SUCCESS, then
+the packet layer MUST NOT transmit the packet and MUST signal sendDone
+with ECANCEL as its error code. If there is a pending sendDone event
+and cancel returns FAIL, then sendDone SHOULD occur as if the cancel
+was not called. 
+
 2.3 Receive interface
 --------------------------------------------------------------------