On Tuesday, 1 October 2013 at 03:58:04 UTC, Nick Sabalausky wrote:
On Mon, 30 Sep 2013 09:49:12 +0200
"Namespace" <rswhi...@googlemail.com> wrote:
On Monday, 30 September 2013 at 01:48:09 UTC, Adam D. Ruppe
wrote:
> Is there anything we can do to automatically clean up if the
> user hits ctrl+c on Linux?
>
There is a similar thread on this topic. Maybe he can help
you, especially the last post:
http://forum.dlang.org/thread/crviwhvbfruxfnwaw...@forum.dlang.org
You know, this sounds like something that really should fall
squarely in
the category of "do the right thing by default". Is there any
reason
druntime can't be made to handle this better by default?
I would say the main reason is that anyone can replace the
current set of signals, thus breaking what might be druntime's
signal handling.
--
Paulo