Roberto Ierusalimschy c220b0a5d0 '__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.		2019-07-16 15:17:47 -03:00
..
2html	Year in copyright notice updated to 2019	2019-03-25 14:00:09 -03:00
manual.of	'__close' method may be called again in case of error	2019-07-16 15:17:47 -03:00