push location log updating up to callers of download
authorJoey Hess <joeyh@joeyh.name>
Mon, 23 Jan 2023 17:45:26 +0000 (13:45 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 23 Jan 2023 17:47:41 +0000 (13:47 -0400)
commit1abd457e98dbe3b7d96227f16dc79fde6f5b59b8
tree37b9f2ac5069825058e8e20a0c73071108c26097
parent8c349b8802fd57b6d7e79460758a9d850822630e
push location log updating up to callers of download

Prep for move --to --from, which needs to download from a src repo
without updating the location log for the local repo, before sending the
content on to the dest repo.

Note that caller of download' already update the log themselves.
See previous commit a422a056f2785999220cde55e07b0fbf999edd44
that pushed it up to download from getViaTmpFrom.

(Also removed in passing a debug print + readline that I accidentially
committed last week on this branch.)

Sponsored-by: Dartmouth College's DANDI project
Annex/Transfer.hs
Command/Get.hs
Command/Move.hs