Re: call-with-file-lock does not remove lock file

2023-02-11 Thread Ludovic Courtès
Hi Ricardo, Ricardo Wurmus skribis: > half a year ago I submitted this bug report: > https://issues.guix.gnu.org/57501 > > “call-with-file-lock” and “call-with-file-lock/no-wait” create a lock > file but don’t remove the lock file when they exit. The lock on > the file is lifted, but the lock f

Re: call-with-file-lock does not remove lock file

2023-02-03 Thread Development of GNU Guix and the GNU System distribution.
Hi, On Fri, Feb 3, 2023 at 2:57 PM Ricardo Wurmus wrote: > > the lock file itself remains behind. That's where they are coming from! Kind regards, Felix

call-with-file-lock does not remove lock file

2023-02-03 Thread Ricardo Wurmus
Hi Guix, half a year ago I submitted this bug report: https://issues.guix.gnu.org/57501 “call-with-file-lock” and “call-with-file-lock/no-wait” create a lock file but don’t remove the lock file when they exit. The lock on the file is lifted, but the lock file itself remains behind. I think we s