lock.mli (320B)
1 (* Unison file synchronizer: src/lock.mli *) 2 (* Copyright 1999-2020, Benjamin C. Pierce (see COPYING for details) *) 3 4 (* A simple utility module for setting and releasing inter-process locks 5 using entries in the filesystem. *) 6 7 val acquire : string -> bool 8 val release : string -> unit 9 val is_locked : string -> bool