Fix generate_log_config script (#8952)

It used to write an empty file if you gave it a -o arg.

1 files changed, 3 insertions, 1 deletions

diff --git a/scripts/generate_log_config b/scripts/generate_log_config

index b6957f48a3..a13a5634a3 100755
--- 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()