mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-03-19 23:53:32 +08:00
Code Issues Packages Projects Releases Wiki Activity

makerst: Fix duplicate .xml extension in some error messages

Browse Source 
Previously, a file name could appear as e.g. `ProjectSettings.xml.xml`
when one of the 3 modified errors was reported.
This commit is contained in:
Hugo Locurcio 2022-06-10 22:58:09 +02:00
parent b9375ea7fc
commit 1163af1756
No known key found for this signature in database
GPG Key ID: 39E8F8BE30B0A49C
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/tools/make_rst.py
View File

@ -464,17 +464,17 @@ def main(): # type: () -> None
try:
tree = ET.parse(cur_file)
except ET.ParseError as e:
print_error("{}.xml: Parse error while reading the file: {}".format(cur_file, e), state)
print_error("{}: Parse error while reading the file: {}".format(cur_file, e), state)
continue
doc = tree.getroot()
if "version" not in doc.attrib:
print_error('{}.xml: "version" attribute missing from "doc".'.format(cur_file), state)
print_error('{}: "version" attribute missing from "doc".'.format(cur_file), state)
continue
name = doc.attrib["name"]
if name in classes:
print_error('{}.xml: Duplicate class "{}".'.format(cur_file, name), state)
print_error('{}: Duplicate class "{}".'.format(cur_file, name), state)
continue
classes[name] = (doc, cur_file)