diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2024-06-23 10:29:18 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2024-06-23 10:29:18 +0000 |
commit | a567ad9d20d939a65b2469cc8bed729450b4542d (patch) | |
tree | ad1eb3981bc9a05ed682a91943c2f700aa9fbe8c /Build | |
parent | 82de5ae449c77cbdba0f3e568353ca3b55e0c1ed (diff) |
Catch exceptional situation.
The simple 'return None' does not suit the assignment to the complex
'(part, section, line_number), tex_line' and raises a 'TypeError'
exception.
git-svn-id: svn://tug.org/texlive/trunk@71596 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/texk/web2c/tests/fix-changefile-lines.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/tests/fix-changefile-lines.py b/Build/source/texk/web2c/tests/fix-changefile-lines.py index 7efcdf3146a..0ff5ca6d7d2 100755 --- a/Build/source/texk/web2c/tests/fix-changefile-lines.py +++ b/Build/source/texk/web2c/tests/fix-changefile-lines.py @@ -146,8 +146,9 @@ class ChangeReader: as well as the line number of the first match line in the WEB file. """ while True: - (part, section, line_number), tex_line = web_reader.next_line() - if tex_line is None: + try: + (part, section, line_number), tex_line = web_reader.next_line() + except: eprint("ERROR: Could not find match for line:") eprint(f" {self._match_lines[0]}") sys.exit(1) |