Fixing filters in `pijul log`

pmeunier

Jan 14, 2022, 12:14 PM

TEQS7C6CFY4B2NX7X23TWXKM3CY3ID5HZN6FWULLC6PSGZGLS3TAC

Dependencies

• [2] 6U42MTEZ Fixing log -- filters, along with performance improvements
• [3] NAUECZW3 Fixing the map between keys and identities
• [4] OU6JOR3C Add path filtering for log, add json output for log
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• replacement in pijul/src/commands/log.rs at line 339
  [2.890]→[2.890:986](∅→∅)
  − is_in_filters = self.txn.get_touched_files(position, Some(cid))?.is_some();
  [2.890]

  [2.986]
  + is_in_filters = self.txn.get_touched_files(position, Some(cid))? == Some(cid);