def wait.timeout

mylsm-lsm-store@0.6.0.1 · src/DbLock.bend:151

import Base
import mylsm-lsm-store@0.6.0.1/src/DurableError.bend as DurableError

151# Closes the lock file and returns a distinct timeout error.
152def wait.timeout(file: File, operation: String, path: String) -> IO(Result<&1, &1, DurableError.Error, Lock>):
153  do IO<Result<&1, &1, DurableError.Error, Lock>>:
154    _closed : Unit <- File.close(file)
155    return Fail{DurableError.Error{DurableError.Timeout{}, operation, path, 0,
156      "lock acquisition timed out"}}