chiark / gitweb /
backend.py: Change default lock directory.