- String orig_ext = file_name.ext_;
- for (int i = 0; extensions[i]; i++)
- {
- file_name.ext_ = orig_ext;
- if (*extensions[i] && !file_name.ext_.is_empty ())
- file_name.ext_ += ".";
- file_name.ext_ += extensions[i];
- if (!find (file_name.to_string ()).is_empty ())
- break;
- }
- /* Reshuffle extension */
- file_name = File_name (file_name.to_string ());
+ file_name.ext_ = orig_ext;
+ if (*extensions[i] && !file_name.ext_.empty ())
+ file_name.ext_ += ".";
+ file_name.ext_ += extensions[i];
+ string found = find (file_name.to_string ());
+ if (!found.empty ())
+ return found;