Skip to content

Allow turning detailed summary off#6338

Merged
benvillalobos merged 2 commits intomainfrom
dev/kirillo/detailedSummary
Apr 20, 2021
Merged

Allow turning detailed summary off#6338
benvillalobos merged 2 commits intomainfrom
dev/kirillo/detailedSummary

Conversation

@KirillOsenkov
Copy link
Copy Markdown
Member

Change the DetailedSummary command-line switch from parameterless to parameterized, allowing the user to have control and explicitly set it to false if needed, overriding the default of true when the verbosity is diagnostic.

This is backwards compatible with the previous behavior, so if /ds is specified, it is equivalent to turning it on.

Fixes #4409

Change the DetailedSummary command-line switch from parameterless to parameterized, allowing the user to have control and explicitly set it to false if needed, overriding the default of true when the verbosity is diagnostic.

This is backwards compatible with the previous behavior, so if /ds is specified, it is equivalent to turning it on.

Fixes #4409
@cdmihai
Copy link
Copy Markdown
Contributor

cdmihai commented Apr 15, 2021

Is it worth adding some code to automatically turn the detailed summary off if:

  • /bl set AND
  • diagnostic verbosity was not present in the cmdline args AND
  • /ds was not explicitly present in the cmdline args

@KirillOsenkov
Copy link
Copy Markdown
Member Author

KirillOsenkov commented Apr 19, 2021

@cdmihai perhaps; but probably should be done in a separate PR. This PR just makes the detailedSummary switch parameterized, which is good to have regardless. I think it can be useful in general.

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Apr 19, 2021
@benvillalobos benvillalobos merged commit 13452c0 into main Apr 20, 2021
@benvillalobos benvillalobos deleted the dev/kirillo/detailedSummary branch April 20, 2021 20:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Binlog causes detailed summary messages output to console

5 participants