Updating the channel touched time after a clone

pmeunier

Dec 7, 2021, 10:14 AM

34Q5U4HLC4ZEFTIEJY5EDNUJPTXLP7Y2TECHRI555QHUREBYBLPAC

Dependencies

• [2] PIQCNEEB Upgrading to Clap 3.0.0-alpha.5
• [3] I24UEJQL Various post-fire fixes
• [4] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [5] CCLLB7OI Upgrading to Sanakirja 0.15 + version bump
• [6] L4JXJHWX pijul/*: reorganize imports and remove extern crate
• [7] I52XSRUH Massive cleanup, and simplification
• [*] EUZFFJSO Updating Pijul with the latest changes in Libpijul

Change contents

• replacement in pijul/src/commands/clone.rs at line 6
  [2.1476]→[3.22339:22362](∅→∅),[3.2941]→[3.22339:22362](∅→∅)
  − use libpijul::MutTxnT;
  [2.1476]

  [3.2942]
  + use libpijul::{ChannelMutTxnT, MutTxnT};
• edit in pijul/src/commands/clone.rs at line 112
  [9.17353]

  [3.185778]
  +

  + let time = std::time::SystemTime::now()

  + .duration_since(std::time::SystemTime::UNIX_EPOCH)

  + .unwrap()

  + .as_secs() as u64;

  + txn.write()

  + .touch_channel(&mut *channel.write(), Some(time + 1));

  +