add a pid file
Writes pid to a file. Is supposed to take an exclusive lock, but that's not working, and it's too late for me to understand why.
This commit is contained in:
parent
d5884388b0
commit
0b3e2bed78
3 changed files with 37 additions and 16 deletions
|
@ -23,6 +23,7 @@ module Locations (
|
|||
gitAnnexIndex,
|
||||
gitAnnexIndexLock,
|
||||
gitAnnexIndexDirty,
|
||||
gitAnnexPidFile,
|
||||
gitAnnexLogFile,
|
||||
gitAnnexSshDir,
|
||||
gitAnnexRemotesDir,
|
||||
|
@ -146,6 +147,10 @@ gitAnnexIndexLock r = gitAnnexDir r </> "index.lck"
|
|||
gitAnnexIndexDirty :: Git.Repo -> FilePath
|
||||
gitAnnexIndexDirty r = gitAnnexDir r </> "index.dirty"
|
||||
|
||||
{- Pid file for daemon mode. -}
|
||||
gitAnnexPidFile :: Git.Repo -> FilePath
|
||||
gitAnnexPidFile r = gitAnnexDir r </> "daemon.pid"
|
||||
|
||||
{- Log file for daemon mode. -}
|
||||
gitAnnexLogFile :: Git.Repo -> FilePath
|
||||
gitAnnexLogFile r = gitAnnexDir r </> "daemon.log"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue