Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow turning detailed summary off #6338

Merged
merged 2 commits into from Apr 20, 2021
Merged

Conversation

KirillOsenkov
Copy link
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
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
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