diff options
| author | Mathieu Bridon <[email protected]> | 2018-06-01 15:02:21 +0200 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2018-08-01 14:26:19 +0100 |
| commit | 8678fe537a5eeb9a537fc540672bf375e802c004 (patch) | |
| tree | 71a931651cbacad9150d468b76f229589799c875 /src | |
| parent | c24d82696867da13360f23abecf130e839da8b0f (diff) | |
python: Use open(), not file()
The latter is a constructor for file objects, but when actually opening
a file, using the former is more idiomatic.
In addition, file() is not a builtin any more in Python 3, so this makes
the script compatible with both Python 2 and Python 3.
Signed-off-by: Mathieu Bridon <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Reviewed-by: Dylan Baker <[email protected]>
Diffstat (limited to 'src')
| -rw-r--r-- | src/util/xmlpool/gen_xmlpool.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/xmlpool/gen_xmlpool.py b/src/util/xmlpool/gen_xmlpool.py index 886c1854f3a..b0db183854a 100644 --- a/src/util/xmlpool/gen_xmlpool.py +++ b/src/util/xmlpool/gen_xmlpool.py @@ -168,7 +168,7 @@ print("/***********************************************************************\ # Process the options template and generate options.h with all # translations. -template = file (template_header_path, "r") +template = open (template_header_path, "r") descMatches = [] for line in template: if len(descMatches) > 0: @@ -199,6 +199,8 @@ for line in template: else: print(line, end='') +template.close() + if len(descMatches) > 0: sys.stderr.write ("Warning: unterminated description at end of file.\n") expandMatches (descMatches, translations) |