Merge pull request #29 from shans/noPauseChange

Modified procedure to finish a player so that pause state is not changed.

Author: birtles

Overview.src.html

@@ -1061,18 +1061,11 @@ <h4 id="finishing-a-player-section">Finishing a player</h4>
         handle that here.
     </div>
 
-4.  Set <var>player</var>'s <a>pause flag</a> to false.
-
-    <div class="annotation">
-        This is needed so that <var>player</var> ends up in the
-        <a>finished play state</a>, not the <a>paused play state</a>.
-    </div>
-
-5.  If there is a <a>pending play task</a>, cancel that task and
+4.  If there is a <a>pending play task</a>, cancel that task and
     fulfill the <a>current ready promise</a> of <var>player</var> with
     <var>player</var>.
 
-6.  If <var>player</var> has an associated <a>timeline</a> that is
+5.  If <var>player</var> has an associated <a>timeline</a> that is
     <em>not</em> <a title="inactive timeline">inactive</a>, update
     <var>player</var>'s <a title="player start time">start time</a> to
     the result of evaluating
@@ -1081,9 +1074,14 @@ <h4 id="finishing-a-player-section">Finishing a player</h4>
     where <var>timeline time</var> is the current <a>time value</a>
     of the associated <a>timeline</a>.
 
-7.  Run the procedure to <a>update a player's finished state</a>
+6.  Run the procedure to <a>update a player's finished state</a>
     for <var>player</var>.
 
+Note: Finishing a player does not necessarily cause that player
+to enter the <a>finished play state</a>. In particular, if a player was in the
+<a>paused play state</a> before finishing, it will remain in the
+<a>paused play state</a> afterwards.
+
 <h4 id='cancelling-a-player-section'>Cancelling a player</h4>
 
  A player can be cancelled which causes the <a>current time</a> to
@@ -7494,6 +7492,8 @@ <h2 id="changes-since-last-publication">Changes since last publication</h2>
 *   Removed the non-normative description of seeking behavior.
 *   Added the <a>current finished promise</a> and <a>current ready
     promise</a> objects to <a>players</a>.
+*   Modified the procedure to <a>finish a player</a> so that pause
+    state is not changed by finishing.
 *   Added player <a>play states</a>.
 *   Removed player events.
 *   Rewrote most of the algorithms for <a>players</a> to accommodate