Skip to content

Commit

Permalink
Fix #847 by making the error port primary
Browse files Browse the repository at this point in the history
  • Loading branch information
ndw committed Jul 22, 2019
1 parent e4654a3 commit f5c4421
Showing 1 changed file with 6 additions and 4 deletions.
10 changes: 6 additions & 4 deletions xproc/src/main/xml/specification.xml
Original file line number Diff line number Diff line change
Expand Up @@ -4092,8 +4092,9 @@ modification:</para>

<itemizedlist>
<listitem>
<para>The port named “<port>error</port>” on the <tag>p:catch</tag> is
added to the <glossterm>readable ports</glossterm>.</para>
<para>A primary input port named “<port>error</port>”
is added to the <glossterm>readable ports</glossterm>
on the <tag>p:catch</tag>.</para>
</listitem>
</itemizedlist>

Expand Down Expand Up @@ -4144,8 +4145,9 @@ modification:</para>

<itemizedlist>
<listitem>
<para>The port named “<port>error</port>” on the <tag>p:finally</tag> is
added to the <glossterm>readable ports</glossterm>.</para>
<para>A primary input port named “<port>error</port>”
is added to the <glossterm>readable ports</glossterm>
on the <tag>p:finally</tag>.</para>
</listitem>
</itemizedlist>

Expand Down

0 comments on commit f5c4421

Please sign in to comment.