[Gretl-users] Re: A possible bug in gretl when there are multiple instance working at the same time.
On Mon, 8 Jun 2020, Riccardo (Jack) Lucchetti wrote:
On Sun, 7 Jun 2020, Allin Cottrell wrote:
> On second thoughts, maybe there's a relatively simple resolution of this
> problem.
>
> At first I was thinking, when a gretl process exits, how is it to know
> which are "my" files in the user's "dotdir", which should be
cleaned up,
> and which actually belong to other gretl processes, and so shouldn't be
> touched?
I don't know about other OSes, but under Linux we could have per-process
subdirs under @dotdir, we could just use the PID.
That occurred to me too, but it would complicate matters: in effect
we'd need two "dotdirs" -- one per user, for things like
"functions"
and "data" -- and one per gretl process (inside the former).
However, maybe there's a way of making that non-disruptive.
For now I've done the simple thing: made it so that gretl cleans up
dotdir on exit only if it's the sole instance of gretl running.
Allin