diff options
author | Karl Berry <karl@freefriends.org> | 2019-12-17 19:24:59 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-12-17 19:24:59 +0000 |
commit | 4c124f70e22deecce385bd0164cabbc6e1946fe0 (patch) | |
tree | d99dfcf4c332926784b2fba80f83698b6b85ad9c /Build/source/texk/web2c/tex.ch | |
parent | 10a7ffb1a8491cbb46e496c3aad5ef20a8cb4217 (diff) |
avoid closing already-closed \openout file
git-svn-id: svn://tug.org/texlive/trunk@53155 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index 6c4fadf8357..a45b99198c2 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -4381,7 +4381,16 @@ var j:small_number; {write stream number} @!old_setting:0..max_selector; @z -@x [53.1374] Disallow certain \openout filenames, and log results. +@x [53.1374] + else begin if write_open[j] then a_close(write_file[j]); + if subtype(p)=close_node then write_open[j]:=false +@y + else begin if write_open[j] then begin a_close(write_file[j]); + write_open[j]:=false; end; + if subtype(p)=close_node then do_nothing {already closed} +@z + +@x [still 53.1374] Disallow certain \openout filenames, and log results. while not a_open_out(write_file[j]) do prompt_file_name("output file name",".tex"); write_open[j]:=true; |