Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nodejs/node.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRich Trott <rtrott@gmail.com>2020-12-22 20:02:56 +0300
committerRich Trott <rtrott@gmail.com>2020-12-25 15:28:32 +0300
commit18fc50f983bbaa64b5c297dc31dae30ec98b5332 (patch)
treee69f376ac6bbaf0fd31b5ecbd67655f6136a271f
parent36c17e2f514b8dcb94a5e12f78aa81391f5ca264 (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-xtools/genv8constants.py2
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()