diff options
author | Chris Mayo <aklhfex@gmail.com> | 2022-11-02 19:29:56 +0000 |
---|---|---|
committer | Frediano Ziglio <freddy77@gmail.com> | 2023-12-16 18:45:46 +0000 |
commit | 8c0319e31df967e41c74f4121cbdb3b785fe114e (patch) | |
tree | d195b7670f4bea5cc2eb5dce6942416c1da799fc | |
parent | 29dacb5f53f5183fb089a3fb02d081dd08bde8a1 (diff) |
Signed-off-by: Chris Mayo <aklhfex@gmail.com>
Acked-by: Frediano Ziglio <freddy77@gmail.com>
-rwxr-xr-x | spice_codegen.py | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/spice_codegen.py b/spice_codegen.py index b45a7ef..7a860d7 100755 --- a/spice_codegen.py +++ b/spice_codegen.py @@ -108,9 +108,8 @@ def write_enums(writer, describe=False): def write_content(dest_file, content, keep_identical_file): if keep_identical_file: try: - f = open(dest_file, 'rb') - old_content = f.read() - f.close() + with open(dest_file, 'rb') as f: + old_content = f.read() if content == old_content: print("No changes to %s" % dest_file) @@ -119,9 +118,8 @@ def write_content(dest_file, content, keep_identical_file): except IOError: pass - f = open(dest_file, 'wb') - f.write(bytes(content, 'UTF-8')) - f.close() + with open(dest_file, 'wb') as f: + f.write(bytes(content, 'UTF-8')) print("Wrote %s" % dest_file) |