diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-12-28 08:21:03 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-12-28 08:21:03 -0800 |
| commit | c7c9fb0bb0cb4a1fb0168f4dc5f7c20635672bff (patch) | |
| tree | 71111019337fd9a5d97b29f90aa651a267a956f5 /Documentation/user-manual.txt | |
| parent | 04054c04290d51c87cb4bcf6f0d17045e679c6a8 (diff) | |
| download | subsurface-c7c9fb0bb0cb4a1fb0168f4dc5f7c20635672bff.tar.gz | |
Git storage: be more careful when checking if this SHA is already loaded
In commit 8c1cc4524d19 ("Don't reload identical data") I got a little
carried away. Before comparing SHAs we need to make sure that
a) this is a git repository at all
b) we have an actual SHA before we claim to have the data loaded
Reported-by: Paul-Erik Törrönen <poltsi@777-team.org>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual.txt')
0 files changed, 0 insertions, 0 deletions