From 3c4e103da285cd5b39fa4d5e4af383504229a828 Mon Sep 17 00:00:00 2001
From: Jack Hsieh <chengweih@chromium.org>
Date: Fri, 4 Oct 2024 11:44:19 -0700
Subject: [PATCH] Add id member in SerialPortInfo

---
 index.html | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/index.html b/index.html
index eafec2a..94d515c 100644
--- a/index.html
+++ b/index.html
@@ -635,9 +635,21 @@ <h3>
               </li>
             </ol>
           </li>
+          <li>If the port is [=identifiable=], perform the following steps:
+              <ol>
+                <li>Set |info|["{{SerialPortInfo/id}}"] to the [=identifier=]
+                  of the port.
+                </li>
+              </ol>
+            </li>
           <li>Return |info|.
           </li>
         </ol>
+        <p>
+          A serial port is <dfn>identifiable</dfn> if the port can be uniquely
+          identified through an <dfn>identifier</dfn> across the user agent
+          restarts while it remains [=logically connected=].
+        </p>
         <section data-dfn-for="SerialPortInfo">
           <h4>
             <dfn>SerialPortInfo</dfn> dictionary
@@ -647,6 +659,7 @@ <h4>
         unsigned short usbVendorId;
         unsigned short usbProductId;
         BluetoothServiceUUID bluetoothServiceClassId;
+        DOMString id;
       };
           </pre>
           <dl>
@@ -674,6 +687,14 @@ <h4>
               be a {{BluetoothServiceUUID}} containing the service class UUID.
               Otherwise it will be `undefined`.
             </dd>
+            <dt>
+              <dfn>id</dfn> member
+            </dt>
+            <dd>
+              If the port is [=identifiable=], this member will be a
+              {{DOMString}} representing the [=identifier=] of the port. Otherwise
+              it will be `undefined`.
+            </dd>
           </dl>
         </section>
       </section>