You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#294 saw the introduction of a lock mechanism. It may occur, that lock files are not properly deleted by the process that created them. For example when the process is killed by a HPC job manager.
There has to be a mechanism that enables their deletion. For example, write the timeout time to the file so that another process can read the value and check whether the file is older than the timeout time and then delete it. For this to work, the Lock class has to raise an error when the timeout is reached. Currently the timeout only applies to wait time for acquiring a lock, not to the existence of the lock file itself.
The text was updated successfully, but these errors were encountered:
#294 saw the introduction of a lock mechanism. It may occur, that lock files are not properly deleted by the process that created them. For example when the process is killed by a HPC job manager.
There has to be a mechanism that enables their deletion. For example, write the timeout time to the file so that another process can read the value and check whether the file is older than the timeout time and then delete it. For this to work, the
Lock
class has to raise an error when the timeout is reached. Currently the timeout only applies to wait time for acquiring a lock, not to the existence of the lock file itself.The text was updated successfully, but these errors were encountered: