mirror of
https://github.com/godotengine/godot.git
synced 2025-01-22 10:32:54 -05:00
Merge pull request #101683 from KoBeWi/duplicate_preventer
Don't duplicate .uid files
This commit is contained in:
commit
97003022c4
1 changed files with 1 additions and 1 deletions
|
@ -3024,7 +3024,7 @@ bool EditorFileSystem::_copy_directory(const String &p_from, const String &p_to,
|
||||||
for (String F = old_dir->_get_next(); !F.is_empty(); F = old_dir->_get_next()) {
|
for (String F = old_dir->_get_next(); !F.is_empty(); F = old_dir->_get_next()) {
|
||||||
if (old_dir->current_is_dir()) {
|
if (old_dir->current_is_dir()) {
|
||||||
success = _copy_directory(p_from.path_join(F), p_to.path_join(F), p_files) && success;
|
success = _copy_directory(p_from.path_join(F), p_to.path_join(F), p_files) && success;
|
||||||
} else if (F.get_extension() != "import") {
|
} else if (F.get_extension() != "import" && F.get_extension() != "uid") {
|
||||||
CopiedFile copy;
|
CopiedFile copy;
|
||||||
copy.from = p_from.path_join(F);
|
copy.from = p_from.path_join(F);
|
||||||
copy.to = p_to.path_join(F);
|
copy.to = p_to.path_join(F);
|
||||||
|
|
Loading…
Reference in a new issue