last_modified, once again (this time in pijul::commands::reset)

pmeunier

Dec 8, 2021, 8:35 AM

PFYPYZ3HNFOCFTWSOEB63XFNS3BPDKINSW6P6WJ2E53UWT2CCIXQC

Dependencies

• [2] 3AMEP2Y5 More convenient interface for channels
• [3] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [4] XA23FMQM Reset only files that have been modified

Change contents

• replacement in pijul/src/commands/reset.rs at line 291
  [2.244]→[2.244:343](∅→∅)
  − std::time::SystemTime::UNIX_EPOCH + std::time::Duration::from_secs(txn.last_modified(channel))
  [2.244]

  [3.101744]
  + std::time::SystemTime::UNIX_EPOCH + std::time::Duration::from_millis(txn.last_modified(channel))