- don't overwrite files if size differs in ProjectExtensionManager
git-svn-id: https://jmonkeyengine.googlecode.com/svn/trunk@8753 75d07b2b-3a1a-0410-a2c5-0572b91ccdca
This commit is contained in:
parent
6a99037c80
commit
d8ce14b92a
@ -444,9 +444,11 @@ public class ProjectExtensionManager {
|
|||||||
fo.delete();
|
fo.delete();
|
||||||
}
|
}
|
||||||
fo = FileUtil.createData(projectRoot, fileName);
|
fo = FileUtil.createData(projectRoot, fileName);
|
||||||
|
if (entry.getSize() != fo.getSize()) {
|
||||||
writeFile(str, fo);
|
writeFile(str, fo);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
}
|
||||||
} finally {
|
} finally {
|
||||||
in.close();
|
in.close();
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user