Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Fix generate_log_config script #8952

Merged
merged 1 commit into from Dec 16, 2020
Merged

Fix generate_log_config script #8952

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
1 change: 1 addition & 0 deletions changelog.d/8952.misc
View file
Open in desktop
@@ -0,0 +1 @@
Fix bug in `generate_log_config` script which made it write empty files.
4 changes: 3 additions & 1 deletion scripts/generate_log_config
View file
Open in desktop
Expand Up @@ -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()