Using iter_graph in pijul

pmeunier

Aug 17, 2021, 4:51 PM

JLVRAJA5Z5DNBKHZDLT6QTKJ4LLJ547S4DH7X4A3XTB6234O5XDQC

Dependencies

• [2] TKEVOH7H Fixing a bug when downloading changes, and making change download more efficient (more async)
• [3] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [4] I24UEJQL Various post-fire fixes
• [5] EUZFFJSO Updating Pijul with the latest changes in Libpijul

Change contents

• replacement in pijul/src/remote/mod.rs at line 1194
  [2.2393]→[2.2393:2518](∅→∅)
  − let mut it = txn.iter_graph(graph, Some(&v))?;

  − while let Some(x) = txn.next_graph(&graph, &mut it) {
  [2.2393]

  [2.2518]
  + for x in txn.iter_graph(graph, Some(&v))? {