diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/index.html | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index bfd26bb..e8dc94b 100644 --- a/docs/index.html +++ b/docs/index.html | |||
@@ -70,7 +70,7 @@ | |||
70 | </p> | 70 | </p> |
71 | 71 | ||
72 | <p> | 72 | <p> |
73 | This document was revised on 17-Jun-14, and applies to version <tt>3.9.6</tt>. | 73 | This document was revised on 18-Sep-14, and applies to version <tt>3.9.7</tt>. |
74 | </p> | 74 | </p> |
75 | </font> | 75 | </font> |
76 | </center> | 76 | </center> |
@@ -1291,6 +1291,14 @@ events to a common Linda, but... :).</font> | |||
1291 | The full list of active timers can be obtained. Obviously, this is a snapshot, and non-repeating timers might no longer exist by the time the results are inspected. | 1291 | The full list of active timers can be obtained. Obviously, this is a snapshot, and non-repeating timers might no longer exist by the time the results are inspected. |
1292 | </p> | 1292 | </p> |
1293 | 1293 | ||
1294 | <table border="1" bgcolor="#E0E0FF" cellpadding="10" style="width:50%"><tr><td><pre> | ||
1295 | void = lanes.sleep( [seconds|false]) | ||
1296 | </pre></td></tr></table> | ||
1297 | |||
1298 | <p> | ||
1299 | (Since version 3.9.7) A very simple way of sleeping when nothing else is available. Is implemented by attempting to read some data in an unused channel of the internal linda used for timers (this linda exists even when timers aren't enabled). | ||
1300 | Default duration is null, which should only cause a thread context switch. | ||
1301 | </p> | ||
1294 | 1302 | ||
1295 | <!-- locks +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ --> | 1303 | <!-- locks +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ --> |
1296 | <hr/> | 1304 | <hr/> |