On Sun, Jan 29, 2023 at 2:46 PM Sven Schreiber
recently (?) I'm observing these kind of error messages on a Windows shell, as the
last message before the called gretlcli.exe program exits:
win32_remove 'prntmp.J1BKZ1': 'Der Prozess kann nicht auf die Datei
zugreifen, da sie von einem anderen Prozess verwendet wird.
( = Process cannot access file because it is in use by another process.)
So, (surprisingly enough) a good catch by Windows: gretlcli.exe
trying to delete the in-progress command log of a concurrent gretl.exe
process as part of its "we're done so let's clean up" routine.
That particular action is now prevented by libgretl (in git) so once
new snapshots are available you shouldn't see that message any more.