#pragma once

#include "types.hh"


namespace nix {


/* Open (possibly create) a lock file and return the file descriptor.
   -1 is returned if create is false and the lock could not be opened
   because it doesn't exist.  Any other error throws an exception. */
int openLockFile(const Path & path, bool create);

/* Delete an open lock file. */
void deleteLockFile(const Path & path, int fd);

enum LockType { ltRead, ltWrite, ltNone };

bool lockFile(int fd, LockType lockType, bool wait);


class PathLocks 
{
private:
    typedef std::pair<int, Path> FDPair;
    list<FDPair> fds;
    bool deletePaths;

public:
    PathLocks();
    PathLocks(const PathSet & paths,
        const string & waitMsg = "");
    bool lockPaths(const PathSet & _paths,
        const string & waitMsg = "",
        bool wait = true);
    ~PathLocks();
    void unlock();
    void setDeletion(bool deletePaths);
};


bool pathIsLockedByMe(const Path & path);


}

<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>refs</a><a class='active' href='/guix/log/gnu/packages/agda.scm'>log</a><a href='/guix/tree/gnu/packages/agda.scm?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>tree</a><a href='/guix/commit/gnu/packages/agda.scm?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>commit</a><a href='/guix/diff/gnu/packages/agda.scm?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/agda.scm'>
<input type='hidden' name='id' value='6aec7e2ec14dc86890c1e7ad142899a83736e10a'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>root</a>/<a href='/guix/log/gnu?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>gnu</a>/<a href='/guix/log/gnu/packages?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>packages</a>/<a href='/guix/log/gnu/packages/agda.scm?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a'>agda.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/agda.scm?id=6aec7e2ec14dc86890c1e7ad142899a83736e10a&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-03-16 16:32:43 +0100'>2020-03-16</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=0d2753ccc138877aea367512c8e6e3babb0ed474'>gnu: agda: Use HTTPS home page.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2019-11-20 20:48:50 -0500'>2019-11-20</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=27109c7175656b8de3d0819e0acc0670863930c6'>gnu: agda: Update to 2.6.0.1.</a><span class='msg-avail'>...</span></td><td>Timothy Sample</td></tr>
<tr><td><span title='2019-08-31 09:25:49 -0400'>2019-08-31</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=dddbc90c648a569ed3f6dcf8678cb94e63a8302f'>gnu: Move non-compilers out of haskell.scm.</a><span class='msg-avail'>...</span></td><td>Robert Vollmert</td></tr>
<tr><td><span title='2019-08-28 18:52:51 +0200'>2019-08-28</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=83ac4c099a4c31840d2ddce9febadfa75c692648'>gnu: agda-ial: Fix install step.</a><span class='msg-avail'>...</span></td><td>John Soo</td></tr>
<tr><td><span title='2019-08-28 00:27:14 +0200'>2019-08-28</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=48752f277c589435aab4d80947fa80f01577d55d'>gnu: agda-ial: Fetch source from Git.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-08-28 00:27:14 +0200'>2019-08-28</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=276f598abc12eaae01fbea0c0bbba577a93bcbdb'>gnu: Add agda-ial.</a><span class='msg-avail'>...</span></td><td>John Soo</td></tr>
<tr><td><span title='2019-08-07 22:05:29 -0400'>2019-08-07</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=a1eb8be8ca1a0a4c952f264f8846b67a32db0ec8'>gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.</a><span class='msg-avail'>...</span></td><td>Robert Vollmert</td></tr>