GNOME Bugzilla – Bug 789809
API: new API to retrieve the device unique ID
Last modified: 2018-11-03 12:42:35 UTC
Ideally the ID would be a string, like a UUID or something similar. Opinions? This would be needed in WebKit, for the "RealtimeMediaSourceCenter" and its friend the "CaptureDeviceManager", responsible for probing audio/video capture devices.
Another option is to add it to the device properties GstStructure, so no new API would be needed.
What would this look like in practice? Aren't there already suitable things in the extra properties? Is the goal to move the knowledge of what might be a suitably unique identifier into the device provider?
Well, it's true that depending on the OS it's possible to find the ID in properties. In the current v4l2 device provider a device.serial property is present, that could be used as unique ID I suppose :) I'm not sure about other platforms, but I think it would be interesting to formalize the way devices are identified across all platforms instead of having each device provider potentially storing the unique identifier in different properties.
Additionally it would be nice to have a gst_device_monitor_get_device_with_id(). In WebKit the UI process needs to have a list of devices so the user can choose which one to use but the Web process also needs to access devices, so we have duplicate work unless we can run a single device monitor in the web process and pass device IDs around using IPC.
-- GitLab Migration Automatic Message -- This bug has been migrated to freedesktop.org's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.freedesktop.org/gstreamer/gstreamer/issues/250.