- From: Harald Alvestrand <harald@alvestrand.no>
- Date: Fri, 12 Jun 2015 10:28:12 +0200
- To: "public-media-capture@w3.org" <public-media-capture@w3.org>
We have a bug open on DeviceID: https://github.com/w3c/mediacapture-main/issues/173 It notes that the Audio Output API (http://w3c.github.io/mediacapture-output/) has defined a couple of predefined device IDs (http://w3c.github.io/mediacapture-output/#predefined-ids): "id-multimedia" and "id-communications". This mixes badly with the concept of randomly generated device IDs - we're simply not guaranteed that clashes can always be avoided. Four easy options: - Make randomly generated DeviceID always longer than 17 characters, and note that predefined values have to be shorter than this - State that randomly generated DeviceIDs always start with a number (or anything that doesn't spell "id-") and state that predefined DeviceIDs have to start with one of the "forbidden" strings - Create a new concept of "random device ID or predefined device ID", and put a wrapper around them to distinguish between the two - Drop the idea of predefined DeviceIDs and ban it forevermore. We need to pick one, and we need to put it inside Media Capture and Streams, I'm afraid. What makes the most sense? Harald
Received on Friday, 12 June 2015 08:28:42 UTC