diff options
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -70,7 +70,7 @@ | |||
70 | </p> | 70 | </p> |
71 | 71 | ||
72 | <p> | 72 | <p> |
73 | This document was revised on 11-Oct-13, and applies to version <tt>3.7.0</tt>. | 73 | This document was revised on 22-Oct-13, and applies to version <tt>3.7.1</tt>. |
74 | </p> | 74 | </p> |
75 | </font> | 75 | </font> |
76 | </center> | 76 | </center> |
@@ -893,6 +893,7 @@ | |||
893 | 893 | ||
894 | <p> | 894 | <p> |
895 | An error in a finalizer itself overrides the state of the regular chunk (in practise, it would be highly preferable <i>not</i> to have errors in finalizers). If one finalizer errors, the others may not get called. | 895 | An error in a finalizer itself overrides the state of the regular chunk (in practise, it would be highly preferable <i>not</i> to have errors in finalizers). If one finalizer errors, the others may not get called. |
896 | If a finalizer error occurs after an error in the lane body, then this new error replaces the previous one (including the full stack trace). | ||
896 | </p> | 897 | </p> |
897 | 898 | ||
898 | <table border="1" bgcolor="#FFFFE0" cellpadding="10" style="width:50%"><tr><td><pre> | 899 | <table border="1" bgcolor="#FFFFE0" cellpadding="10" style="width:50%"><tr><td><pre> |