diff options
author | Jon Leech <[email protected]> | 2021-10-05 04:26:53 -0700 |
---|---|---|
committer | Jon Leech <[email protected]> | 2021-10-05 04:27:16 -0700 |
commit | fa27a13cf74080df2ad421a788299db1276f17a7 (patch) | |
tree | aeaf5ed33bd54476ea885ebfc183a2812f06bfc1 /registry/generator.py | |
parent | e500c7c809f9a2acfa556bf0974456353759f0a5 (diff) | |
download | Vulkan-Headers-fa27a13cf74080df2ad421a788299db1276f17a7.tar.gz Vulkan-Headers-fa27a13cf74080df2ad421a788299db1276f17a7.zip |
Update for Vulkan-Docs 1.2.195v1.2.195
Diffstat (limited to 'registry/generator.py')
-rw-r--r-- | registry/generator.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/registry/generator.py b/registry/generator.py index 01274a3..7cc1b28 100644 --- a/registry/generator.py +++ b/registry/generator.py @@ -43,7 +43,10 @@ def enquote(s): """Return string argument with surrounding quotes, for serialization into Python code.""" if s: - return "'{}'".format(s) + if isinstance(s, str): + return "'{}'".format(s) + else: + return s return None @@ -778,7 +781,6 @@ class OutputGenerator: self.warnFile.flush() if self.diagFile: self.diagFile.flush() - self.outFile.flush() if self.outFile != sys.stdout and self.outFile != sys.stderr: self.outFile.close() |