Skip to content

Some further tidying up around logging#1813

Merged
charisk merged 2 commits intomainfrom
charisk/logging-tidy
Nov 30, 2022
Merged

Some further tidying up around logging#1813
charisk merged 2 commits intomainfrom
charisk/logging-tidy

Conversation

@charisk
Copy link
Copy Markdown
Contributor

@charisk charisk commented Nov 30, 2022

Some small changes around logging:

  • Tidied up some docs/comments
  • Renamed logger to extLogger

Checklist

N/A:

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@charisk charisk added the secexp label Nov 30, 2022
@charisk charisk requested review from a team as code owners November 30, 2022 13:55
Copy link
Copy Markdown
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍🏽 🧹

/**
* Writes the given log message, optionally followed by a newline.
* This function is asynchronous and will only resolve once the message is written
* to the side log (if required). It is not necessary to await the results of this
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Possible stupid question: What's the "side log"?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not a stupid question - I'm not sure either, I just copied the comment from elsewhere.

@charisk charisk merged commit 27b4203 into main Nov 30, 2022
@charisk charisk deleted the charisk/logging-tidy branch November 30, 2022 16:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants