From d5de6748c5d3d1fbad8584e1b3573eceeb012049 Mon Sep 17 00:00:00 2001 From: Akira Kakuto Date: Tue, 7 Jul 2020 00:26:05 +0000 Subject: sync with tex.ch git-svn-id: svn://tug.org/texlive/trunk@55770 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/texk/web2c/alephdir/ChangeLog | 5 +++++ Build/source/texk/web2c/alephdir/com16bit.ch | 21 ++++++++++++++++++++- 2 files changed, 25 insertions(+), 1 deletion(-) (limited to 'Build/source/texk') diff --git a/Build/source/texk/web2c/alephdir/ChangeLog b/Build/source/texk/web2c/alephdir/ChangeLog index 11c51b4dcd3..eae6726fbef 100644 --- a/Build/source/texk/web2c/alephdir/ChangeLog +++ b/Build/source/texk/web2c/alephdir/ChangeLog @@ -1,3 +1,8 @@ +2020-07-07 Akira Kakuto + + * com16bit.ch: Sync with tex.ch (avoid seg fault in unusual + interaction sequence). + 2020-02-10 Akira Kakuto * com16bit.ch: Sync with tex.ch for changes by Phelype Oleinik diff --git a/Build/source/texk/web2c/alephdir/com16bit.ch b/Build/source/texk/web2c/alephdir/com16bit.ch index e39b8183e85..3ac2ffce5ac 100644 --- a/Build/source/texk/web2c/alephdir/com16bit.ch +++ b/Build/source/texk/web2c/alephdir/com16bit.ch @@ -729,7 +729,26 @@ do_final_end; end; @z -@x [6.84] l.1888 - Implement the switch-to-editor option. +% Original reports: +% https://tex.stackexchange.com/questions/551313/ +% https://tug.org/pipermail/tex-live/2020-June/045876.html +% +% This will probably be fixed by DEK in the 2021 tuneup in a different +% way (so we'll have to remove or alter this change), but the interaction +% sequence in the reports above causes a segmentation fault in web2c - +% writing to the closed \write15 stream because we wrongly decrement +% selector from 16 to 15 in term_input, due to the lack of this check in +% a recursive error() call. +% +@x [6.83] l.1893 - avoid wrong interaction +loop@+begin continue: clear_for_error_prompt; prompt_input("? "); +@y +loop@+begin continue: +if interaction<>error_stop_mode then return; +clear_for_error_prompt; prompt_input("? "); +@z + +@x [6.84] l.1904 - Implement the switch-to-editor option. line ready to be edited. But such an extension requires some system wizardry, so the present implementation simply types out the name of the file that should be -- cgit v1.2.3