2 files changed, 4 insertions, 1 deletions
diff --git a/changelog.d/8952.misc b/changelog.d/8952.misc
new file mode 100644
index 0000000000..4c4a874649
--- /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 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()
|