Re: [Chicken-users] Profile file name problems.

[Robin Lee Powell]

On Wed, Oct 17, 2007 at 08:14:59AM +0200, felix winkelmann wrote:
> On 10/16/07, Robin Lee Powell <address@hidden> wrote:
> > I have an application in which (for these purposes, anyways)
> > programs are fired off entirely at random, and each with a
> > different userid.
> >
> > I'd like the profile name to include something volatile, like
> > the current process id.  Is that possible?
> 
> Yes, this makes sense. I've checked in a change that generates
> <PROFILE-NAME>.<PID>, where the profile name defaults to "PROFILE"
> or the name from the "-profile-name" compiler option.
> 
> A new snapshot should be available in a few hours.

Great!  Thanks.

While we're on the subject :) how do I have the profiling descend
into eggs?

-Robin

-- 
Lojban Reason #17: http://en.wikipedia.org/wiki/Buffalo_buffalo
Proud Supporter of the Singularity Institute - http://singinst.org/
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/