leantar panic

Stream: lean4

[Yury G. Kudryashov]

I recently lost Internet connection in the middle of lake exe cache get. As a result, I've got a partial ltar file which made leantar to panic() on the next run.

[Yury G. Kudryashov]

Is it hard to download to .ltar.partial or .ltar.tmp, then move the file on a successful download?

[Mario Carneiro]

(this is also fixed in lean-cache already)

[Mario Carneiro]

yes it can do so using the new rename functionality

[Yury G. Kudryashov]

Thanks!