Re: [Chicken-hackers] [PATCH] process-fork: option to kill all but the current thread in the child process

[Felix]

From: Peter Bex <address@hidden>
Subject: Re: [Chicken-hackers] [PATCH] process-fork: option to kill all but the 
current thread in the child process
Date: Sat, 3 Nov 2012 16:42:51 +0100

> On Sun, Oct 28, 2012 at 11:07:30AM -0400, Felix wrote:
>> > From: Felix <address@hidden>
>> > Subject: [PATCH] process-fork: option to kill all but the current thread 
>> > in the child process
>> > Date: Sun, 28 Oct 2012 09:10:41 -0400 (EDT)
>> > 
>> >> This patch allows "process-fork" to kill all existing threads but the 
>> >> current
>> >> one when running the child process.
>> > 
>> > Oops, here is an amended version. I forgot to modify types.db. Sorry.
>> > 
>> 
>> Another amended variant. Things can only improve from this point.
> 
> Indeed!  It appears that process-fork's type hasn't just changed in the
> number of arguments but also the types, which we both overlooked.
> 
> The first argument can be #f now, so you can create a fork of a process
> with all threads killed, but without running a thunk.  The documentation
> was correctly changed, but here's a fix for types.db.

Signed off and will be pushed shortly.


cheers,
felix