Avoid increasing the download progress bar length if we need the same dependency more than once

pmeunier

Mar 2, 2023, 9:38 AM

Z6ASIMORLV437IEFIUYXIRYSGUTIBMPJNIVF6XQMGRP6WV6R4YPAC

Dependencies

• [2] 4HTHYIA3 Fixing HTTP download
• [3] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [4] C3L2TLQW When downloading changes, check whether we have their dependencies and download them too

Change contents

• edit in pijul/src/remote/mod.rs at line 1281
  [3.2321]→[3.2321:2403](∅→∅)
  − PROGRESS.borrow_mut().unwrap()[pro_n].incr_len();
• edit in pijul/src/remote/mod.rs at line 1282
  [2.326]

  [2.326]
  + PROGRESS.borrow_mut().unwrap()[pro_n].incr_len();