diff options
author | 2016-06-08 15:04:15 -0400 | |
---|---|---|
committer | 2016-06-08 15:04:15 -0400 | |
commit | a5681bf82cb2f43c4615529fb5eca3dd1f15268a (patch) | |
tree | d49ef2805c93f144f283e5d8209b44e0bb03ad65 /Annex/Ingest.hs | |
parent | cb25507c65962391a5061c1915541008d930df46 (diff) |
also avoid crashing in most circumstances if unable to determine the username
Mostly the username is only used for the git committer or other display
purposes, and we can just fall back to a dummy value in these cases.
The only remaining place where an error is thrown is when starting local
pairing, which needs the username to be known.
Diffstat (limited to 'Annex/Ingest.hs')
0 files changed, 0 insertions, 0 deletions