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

Process Log Format String for Logger Compatibility #137

Merged
merged 5 commits into from
Nov 14, 2023

Conversation

ozangoktan
Copy link
Contributor

ResponseHeader Placeholder: Improved compatibility with logger implementations(Serilog at the least), replacing bracketed part with a numeric suffix before passing the format string through to the logger.

@ozangoktan ozangoktan requested a review from a team as a code owner November 13, 2023 12:01
Copy link

codecov bot commented Nov 13, 2023

Codecov Report

Merging #137 (3b97fb5) into master (dd53a1e) will increase coverage by 0.16%.
The diff coverage is 100.00%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #137      +/-   ##
==========================================
+ Coverage   77.58%   77.74%   +0.16%     
==========================================
  Files           9        9              
  Lines         687      692       +5     
  Branches       41       41              
==========================================
+ Hits          533      538       +5     
  Misses        127      127              
  Partials       27       27              
Files Coverage Δ
src/HttpHandler/Logging.fs 95.12% <100.00%> (+0.31%) ⬆️

@ozangoktan ozangoktan requested a review from dbrattli November 14, 2023 12:54
Copy link
Contributor

@dbrattli dbrattli left a comment

Choose a reason for hiding this comment

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

Looks good! Thanks for the contribution!

@ozangoktan ozangoktan merged commit db9a618 into master Nov 14, 2023
4 checks passed
@ozangoktan ozangoktan deleted the response-header-logs-fix branch November 14, 2023 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants