fix: copy file if necessary

This commit is contained in:
Kyle Clemens 2018-08-13 19:48:16 -04:00
parent 6c4ae1dd77
commit efb18c8394
Signed by: anna
GPG Key ID: 0B391D8F06FCD9E0

View File

@ -83,7 +83,12 @@ impl Job {
if let Some(p) = file_path.parent() {
std::fs::create_dir_all(p)?;
}
std::fs::rename(&f, &file_path)?;
match std::fs::rename(&f, &file_path) {
Err(ref e) if cfg!(windows) && e.raw_os_error() == Some(17) => {
std::fs::copy(&f, &file_path)?;
},
_ => {},
}
*f = file_path;
}