diff options
author | Rich Trott <rtrott@gmail.com> | 2020-12-22 20:02:56 +0300 |
---|---|---|
committer | Rich Trott <rtrott@gmail.com> | 2020-12-25 15:28:32 +0300 |
commit | 18fc50f983bbaa64b5c297dc31dae30ec98b5332 (patch) | |
tree | e69f376ac6bbaf0fd31b5ecbd67655f6136a271f | |
parent | 36c17e2f514b8dcb94a5e12f78aa81391f5ca264 (diff) |
tools: call close() explicitly in genv8constants.py
PR-URL: https://github.com/nodejs/node/pull/36606
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
-rwxr-xr-x | tools/genv8constants.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/genv8constants.py b/tools/genv8constants.py index cb648d39ce7..64370ad2961 100755 --- a/tools/genv8constants.py +++ b/tools/genv8constants.py @@ -113,3 +113,5 @@ outfile.write(""" #endif /* V8_CONSTANTS_H */ """) + +outfile.close() |