Mention warning for exception in __del__.

diff --git a/Doc/ref/ref3.tex b/Doc/ref/ref3.tex
index d1e8b6395c58b53f3483d8024138be8657bb0ad7..ca3525ae068dc2155d8a16618d8882a3f53abb13 100644 (file)
--- a/Doc/ref/ref3.tex
+++ b/Doc/ref/ref3.tex
@@ -627,6 +627,8 @@ reference to it.  It may then be called at a later time when this new
 reference is deleted.  It is not guaranteed that
 \code{__del__} methods are called for objects that still exist when
 the interpreter exits.
+If an exception occurs in a \code{__del__} method, it is ignored, and
+a warning is printed on stderr.
 \ttindex{__del__}
 \stindex{del}
 

diff --git a/Doc/ref3.tex b/Doc/ref3.tex
index d1e8b6395c58b53f3483d8024138be8657bb0ad7..ca3525ae068dc2155d8a16618d8882a3f53abb13 100644 (file)
--- a/Doc/ref3.tex
+++ b/Doc/ref3.tex
@@ -627,6 +627,8 @@ reference to it.  It may then be called at a later time when this new
 reference is deleted.  It is not guaranteed that
 \code{__del__} methods are called for objects that still exist when
 the interpreter exits.
+If an exception occurs in a \code{__del__} method, it is ignored, and
+a warning is printed on stderr.
 \ttindex{__del__}
 \stindex{del}