diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-02-12 14:15:28 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-02-12 14:16:35 -0400 |
| commit | ad1955b4063befa51a36932794f49193a307a23f (patch) | |
| tree | eb358ec9eb692f4418f45ee386053e0859a1626e /ghci | |
| parent | 265cbb0f66881102aa11f73d0cff41c773ddb3a9 (diff) | |
if keys database cannot be opened due to permissions, ignore
This lets readonly repos be used. If a repo is readonly, we can ignore the
keys database, because nothing that we can do will change the state of the
repo anyway.
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions