</code></pre><div class="info ">
<code class="code">flock ()</code> takes the global file lock. If the lock is already
    taken, sleep for 1s and then retry. Abort after 5 tentatives.<br>
</div>

<pre><span id="VALfunlock"><span class="keyword">val</span> funlock</span> : <code class="type">string -> unit</code></pre><div class="info ">
<code class="code">funlock ()</code> unlocks the global file lock. Work only if the
    current processus is the same as the one who took the lock at the
    first place.<b