mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

fix typo

Browse source
This commit is contained in:
edward 2015-11-14 09:57:40 +00:00 • committed by admin
parent 6dfdc37738
commit 4f10cf7434
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/devblog/day_336__pid_locks.mdwn
View file

@ -13,7 +13,7 @@ because then the pid in question can be running on a different computer.
Even if you do figure out that a pid lock is stale, how do you then
take over a stale pid lock, without racing with anther process that
also wants to take it over? This was the truely tricky question of the
day..
day.
I have a possibly slightly novel approach to solve that:
Put a more modern lock file someplace else (eg, /dev/shm)