Fix generate_log_config script (#8952)

It used to write an empty file if you gave it a -o arg.
2020-12-16 14:52:04 +00:00 · 2020-12-16 14:52:04 +00:00 · 3ad699cc65
parent be2db93b3c
commit 3ad699cc65
2 changed files with 4 additions and 1 deletions
--- a/changelog.d/8952.misc
+++ b/changelog.d/8952.misc
@ -0,0 +1 @@
+Fix bug in `generate_log_config` script which made it write empty files.
--- a/scripts/generate_log_config
+++ b/scripts/generate_log_config
@ -40,4 +40,6 @@ if __name__ == "__main__":
    )

    args = parser.parse_args()
-    args.output_file.write(DEFAULT_LOG_CONFIG.substitute(log_file=args.log_file))
+    out = args.output_file
+    out.write(DEFAULT_LOG_CONFIG.substitute(log_file=args.log_file))
+    out.flush()
				`@ -0,0 +1 @@`
				Fix bug in `generate_log_config` script which made it write empty files.