diff options
author | Benoit Germain <bnt.germain@gmail.com> | 2012-12-12 10:56:34 +0100 |
---|---|---|
committer | Benoit Germain <bnt.germain@gmail.com> | 2012-12-12 10:56:34 +0100 |
commit | abb32c96c0d33ebc0875bae321651f698bc66ab5 (patch) | |
tree | 3f4b1cf81e97fbdaa4aa5784aad9c199eec5081b /docs | |
parent | 8b113b8cf446b8f61d408f9d14dc232b41cbfe4c (diff) | |
download | lanes-abb32c96c0d33ebc0875bae321651f698bc66ab5.tar.gz lanes-abb32c96c0d33ebc0875bae321651f698bc66ab5.tar.bz2 lanes-abb32c96c0d33ebc0875bae321651f698bc66ab5.zip |
Update documentation
Diffstat (limited to 'docs')
-rw-r--r-- | docs/index.html | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index f7aa2d4..1368928 100644 --- a/docs/index.html +++ b/docs/index.html | |||
@@ -69,7 +69,7 @@ | |||
69 | </p> | 69 | </p> |
70 | 70 | ||
71 | <p> | 71 | <p> |
72 | This document was revised on 25-Oct-12, and applies to version <tt>3.4.0</tt>. | 72 | This document was revised on 11-Dec-12, and applies to version <tt>3.4.1</tt>. |
73 | </p> | 73 | </p> |
74 | </font> | 74 | </font> |
75 | </center> | 75 | </center> |
@@ -997,6 +997,16 @@ events to a common Linda, but... :).</font> | |||
997 | </tr> | 997 | </tr> |
998 | </table> | 998 | </table> |
999 | 999 | ||
1000 | <p></p> | ||
1001 | |||
1002 | <table border="1" bgcolor="#E0E0FF" cellpadding="10" style="width:50%"><tr><td><pre> | ||
1003 | {[{linda, slot, when, period}[,...]]} = lanes.timers() | ||
1004 | </pre></td></tr></table> | ||
1005 | |||
1006 | <p> | ||
1007 | 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. | ||
1008 | </p> | ||
1009 | |||
1000 | 1010 | ||
1001 | <!-- locks +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ --> | 1011 | <!-- locks +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ --> |
1002 | <hr/> | 1012 | <hr/> |