mirror of
https://github.com/encounter/dolphin.git
synced 2026-03-30 11:08:26 -07:00
788e19f54d
This makes the device ID assigning code common to all backends, by moving it to AddDevice() instead of copy-pasting or replicating the logic in the backends. Also, to prepare for hotplugging, instead of relying on a name usage count, the new ID assigning system always starts from ID 0 and tries to assign the first ID that is not used.