chicken-users
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: felix winkelmann
Subject: Re: [Chicken-users] Profile file name problems.
Date: Wed, 17 Oct 2007 08:14:59 +0200

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.


cheers,
felix




reply via email to

[Prev in Thread] Current Thread [Next in Thread]