Downloading changes from a local channel was not doing anything

pmeunier

Jun 25, 2023, 7:52 PM

VDYLWFFLYTFGW733WFWS6RQYGYKZZ2HGMFUXNKUUP4OEPTBYGTRQC

Dependencies

• [2] BNPSVXIC Friendlier progress bars
• [3] 2D7P2VKJ Change completions (where the whole progress bar story started)
• [4] 76PCXGML Pushing to, and pulling from the local repository
• [5] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [6] UDHP4ZVB Fixing SSH asynchronicity issues

Change contents

• replacement in pijul/src/remote/mod.rs at line 1094
  [2.2122]→[3.2760:2806](∅→∅),[3.11092]→[3.2760:2806](∅→∅),[3.68044]→[3.2760:2806](∅→∅)
  − RemoteRepo::LocalChannel(_) => {}
  [2.2122]

  [3.68044]
  + RemoteRepo::LocalChannel(_) => {

  + while let Some(c) = hashes.recv().await {

  + send.send((c, true)).await?;

  + }

  + }