Skip to content

Conversation

@valepakh
Copy link
Contributor

LOG.error("Error when closing input stream.", e);
}
}));
if (collect.containsKey(filename)) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

put returns previous value, we can use that to detect duplicates.

}));
if (collect.containsKey(filename)) {
closeStream(is);
throw new DuplicateFilenamesException("Duplicate filename: " + filename);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What about case-insensitive filesystems, what happens there if the file names are different only by letter case?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants