Skip to content

provide LOG_DIR env var to existing MCP servers#122

Merged
p- merged 1 commit intomainfrom
p--log-dir-mcp
Dec 18, 2025
Merged

provide LOG_DIR env var to existing MCP servers#122
p- merged 1 commit intomainfrom
p--log-dir-mcp

Conversation

@p-
Copy link
Copy Markdown
Contributor

@p- p- commented Dec 18, 2025

this way the MCP servers will log into the "globally" defined LOG_DIR

Copilot AI review requested due to automatic review settings December 18, 2025 11:09
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR adds the LOG_DIR environment variable to all MCP server configurations, enabling them to log into a globally defined log directory. This ensures consistent log file location across all MCP servers.

  • Adds LOG_DIR environment variable to all stdio/streamable MCP server configurations
  • All affected MCP servers already use the log_file_name() utility function which respects this environment variable

Reviewed changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated no comments.

File Description
src/seclab_taskflow_agent/toolboxes/memcache.yaml Added LOG_DIR env var to memcache MCP server configuration
src/seclab_taskflow_agent/toolboxes/logbook.yaml Added LOG_DIR env var to logbook MCP server configuration
src/seclab_taskflow_agent/toolboxes/echo.yaml Added LOG_DIR env var to echo MCP server configuration
src/seclab_taskflow_agent/toolboxes/codeql.yaml Added LOG_DIR env var to codeql MCP server configuration

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

GH_NO_UPDATE_NOTIFIER: "Disable"
GH_NO_EXTENSION_UPDATE_NOTIFIER: "Disable"
CODEQL_CLI: "{{ env CODEQL_CLI }}"
LOG_DIR: "{{ env LOG_DIR }}"
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

If LOG_DIR isn't defined, then it'll just use the default location in ~/.local, right?

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.

@p- p- merged commit 5a422a3 into main Dec 18, 2025
15 checks passed
@p- p- deleted the p--log-dir-mcp branch December 18, 2025 11:46
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.

4 participants