[Gretl-users] Re: A possible bug in gretl when there are multiple instance working at the same time.
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.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------