commit | c220b0a5d099372e58e517b9f13eaa7bb0bec45c | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Jul 16 15:17:47 2019 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Jul 16 15:17:47 2019 -0300 |
tree | 5d5a083a4a7e924f5af052295cef49792305a989 | |
parent | 298f383ffcc30d0799fbca0293175f647fe6bccf [diff] |
'__close' method may be called again in case of error An error in a closing method may be caused by a lack of resources, such as memory or stack space, and the error may free enough resources (by unwinding the stack) to allow the method to work if called again. If the closing method is already running after some error (including its own), it is not called again.