called during shutdown.  Emitting resource warning in __del__ no longer fails.
Original patch by Antoine Pitrou.