Subject: Re: bug#10581: exit-hook is undocumented and is not called from a non-interactive environment
From: Andy Wingo <[email-masked]>
To: [email-masked]
Date: Fri, 06 Jul 2012 13:21:41 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Closing out this bug, as it seems that the current situation shouldn't
be changed, and also that atexit sounds sufficient.  Please open a new
report if you still have issues :)

Regards,

Andy
-- 
http://wingolog.org/