diff --git a/changelog.d/8952.misc b/changelog.d/8952.misc new file mode 100644 index 0000000000000000000000000000000000000000..4c4a874649cc187f757e7010fbbe25dcb1113894 --- /dev/null +++ b/changelog.d/8952.misc @@ -0,0 +1 @@ +Fix bug in `generate_log_config` script which made it write empty files. diff --git a/scripts/generate_log_config b/scripts/generate_log_config index b6957f48a328352c85e68dbca3c0125237360866..a13a5634a30e0485cde17451d6844629f8fd028b 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()