Function file_modified

objdiff-gui/src/app.rs:880–886

(path: P, last_ts: FileTime)

#[inline]
fn file_modified<P: AsRef<Path>>(path: P, last_ts: FileTime) -> bool {
    if let Ok(metadata) = fs::metadata(path.as_ref()) {
        FileTime::from_last_modification_time(&metadata) != last_ts
    } else {
        false
    }
}