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?
