Skip to content

improve server logging #867

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

Merged
merged 3 commits into from
Jun 2, 2025
Merged

improve server logging #867

merged 3 commits into from
Jun 2, 2025

Conversation

samuelcolvin
Copy link
Member

Motivation and Context

  1. server logging was used using logging parameters
  2. repeated dict lookups when checking for membership

How Has This Been Tested?

Tests should cover all cases.

Breaking Changes

No.

Types of changes

  • code improvement
  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Documentation update

Checklist

  • I have read the MCP Documentation
  • My code follows the repository's style guidelines
  • New and existing tests pass locally
  • I have added appropriate error handling
  • I have added or updated documentation as needed

Additional context

Kludex
Kludex previously approved these changes Jun 2, 2025
Kludex
Kludex previously approved these changes Jun 2, 2025
@Kludex Kludex enabled auto-merge (squash) June 2, 2025 08:01
@Kludex Kludex merged commit 5441767 into main Jun 2, 2025
13 checks passed
@Kludex Kludex deleted the server-logging branch June 2, 2025 08:03
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