(sync_output_header): New argument: include_timestamp.
(pre_sync): The header should include a timestamp. (save_one_text): The header should not include a timestamp when the "CLEAN" marker is written. We want the timestamp in the file to be the time when the snapshot was taken.
Showing with 6 additions and 5 deletions