[Top][All Lists]
[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