Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Device id case sensitivity #4

Open
hsteve opened this issue Jun 18, 2012 · 0 comments
Open

Device id case sensitivity #4

hsteve opened this issue Jun 18, 2012 · 0 comments

Comments

@hsteve
Copy link

hsteve commented Jun 18, 2012

Hi

First thanks for creating OpenDDR. It is really useful to have an open device description repository.

My issue: I have noticed that there are a handful of device ids in the repository that differ only by their case, These are:

Hero/hero
genericemobile/genericEmobile (one an android, the other a windows mobile!)
genericFLY/genericFly
genericKDDI/generickddi
genericEra/genericERA
genericMotorola/genericMOTOROLA
MDA compact/MDA Compact
IDEOS S7/Ideos S7

I would like to suggest that it is better to keep ids case insensitively unique.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@hsteve