From a9f2fa6a847cabb57d6ce0374a1ea0aad4eee2c9 Mon Sep 17 00:00:00 2001 From: "mark a. foltz" Date: Mon, 4 Dec 2017 15:35:19 -0800 Subject: [PATCH 1/2] Refine language of local vs. remote playback state --- index.html | 41 ++++++++++++++++++++++++++++------------- 1 file changed, 28 insertions(+), 13 deletions(-) diff --git a/index.html b/index.html index c704943..172ae45 100644 --- a/index.html +++ b/index.html @@ -1256,20 +1256,35 @@

device is established.

- In particular, as soon as the state of a RemotePlayback object has - changed to connected, - the user agent MUST send all the media commands issued on - the HTMLMediaElement object with which the - RemotePlayback object is associated to the remote - playback device in order to change the remote playback - state vs the local playback state. -

-

- Similarly, the user agent MUST reflect all updates of the - remote playback state received from the remote playback - device on the media element state. + When the state of + a RemotePlayback object + is connected, the + following conditions relate the local playback + state, media element state, and remote playback + state:

+
+
+ The user agent MUST send all media commands issued on the + associated HTMLMediaElement object to the remote playback + device in order to change its remote playback state; +
+
+ The remote playback device SHOULD implement all media + commands sent by the user agent; +
+
+ The remote playback device SHOULD send updates of + the remote playback state to the user agent that + affect any attribute exposed through the media element + state; +
+ The user agent MUST process all updates of the + remote playback state received from the remote playback + device and update the local playback state of the + media element. +
+

If sending any command fails, the user agent MAY disconnect from a remote playback device. From e662dd71ae5d8afb51188e5796fd491307a5ff30 Mon Sep 17 00:00:00 2001 From: "mark a. foltz" Date: Mon, 4 Dec 2017 16:05:35 -0800 Subject: [PATCH 2/2] Minor edits --- index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 172ae45..e38e7b2 100644 --- a/index.html +++ b/index.html @@ -1259,8 +1259,8 @@

When the state of a RemotePlayback object is connected, the - following conditions relate the local playback - state, media element state, and remote playback + following conditions relate the local playback state, + the media element state, and the remote playback state:

@@ -1282,7 +1282,7 @@

The user agent MUST process all updates of the remote playback state received from the remote playback device and update the local playback state of the - media element. + media element accordingly.