Explicitly close pipe to /dev/null

Jberlinsky · Jberlinsky · commit 82b466480445 · 2019-02-11T10:12:22.000-05:00
diff --git a/helpers/generate_modules/generate_modules.py b/helpers/generate_modules/generate_modules.py
@@ -78,6 +78,7 @@ def main(argv):
                 )
                 if template_file.endswith(".sh"):
                     os.chmod(os.path.join(module.path, template_file), 0o755)
+    DEVNULL_FILE.close()
 
 
 if __name__ == "__main__":

Original file line number	Diff line number	Diff line change
`@@ -78,6 +78,7 @@ def main(argv):`
`78`	`78`	`)`
`79`	`79`	`if template_file.endswith(".sh"):`
`80`	`80`	`os.chmod(os.path.join(module.path, template_file), 0o755)`
	`81`	`+ DEVNULL_FILE.close()`
`81`	`82`
`82`	`83`
`83`	`84`	`if __name__ == "__main__":`