- if(access(filename.c_str(), R_OK) == 0)
- {
- files = FileSystem::read_directory(filename);
- }
- else
- {
- filename = datadir + "/levels/" + subset + "/";
- files = FileSystem::read_directory(filename);
- }
+ std::set<std::string> user_files = FileSystem::read_directory(filename);
+ files.insert(user_files.begin(), user_files.end());