backend.py: Change default lock directory.
[chopwood] / util.py
2014-05-24 Mark WoodingCosmetic fiddling.
2013-03-08 Mark WoodingInitial commit.