Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 9 additions & 7 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -596,9 +596,11 @@ <h2 id="MIDIPort">
A unique ID of the port. This can be used by developers to
remember ports the user has chosen for their application. The
User Agent MUST ensure that the {{MIDIPort/id}} is unique to only
that port. The User Agent SHOULD ensure that the id is maintained
across instances of the application - e.g., when the system is
rebooted - and when a device is removed from the system.
that port. The User Agent SHOULD ensure that the {{MIDIPort/id}}
is unique per origin, and that the id is maintained across
instances of the application where permission to access [=MIDI
devices=] has been granted - e.g., when the system is rebooted -
and when a device is removed from the system.
Applications may want to cache these ids locally to re-create a
MIDI setup. Some systems may not support completely unique
persistent identifiers; in such cases, it will be more
Expand All @@ -607,10 +609,10 @@ <h2 id="MIDIPort">
of the requested port). It is expected that the system will do
the best it can to match a port across instances of the MIDI API:
for example, an implementation may opaquely use some form of hash
of the port interface manufacturer, name and index as the id, so
that a reference to that port id is likely to match the port when
plugged in. Applications may use the comparison of id of
MIDIPorts to test for equality.
of the origin and the port interface manufacturer, name and index
as the id, so that a reference to that port id is likely to match
the port when plugged in. Applications may use the comparison of
id of MIDIPorts to test for equality.
</p>
</dd>
<dt>
Expand Down
Loading