diff options
| author | Andrew Branson <andrew.branson@jolla.com> | 2026-06-29 16:40:30 +0200 |
|---|---|---|
| committer | Andrew Branson <andrew.branson@jolla.com> | 2026-06-29 17:50:20 +0200 |
| commit | eb92561bd685961889cc553cd96db4a569eefec5 (patch) | |
| tree | a4df385847e712d1dfb428f28d23df58b9ed298d /bin/sailfish-devel-mcp | |
| parent | 21dcc7e6413cf1e93a37cce2098a86c2a3ab5e5a (diff) | |
Add remote Android build tools and request logging
Add Android build host config and MCP tools for remote AppSupport builds.
Extend device RPM installs to copy dependency sets and install them together.
Log MCP request and tool-call lifecycle events, and document the config.
Diffstat (limited to 'bin/sailfish-devel-mcp')
| -rwxr-xr-x | bin/sailfish-devel-mcp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/sailfish-devel-mcp b/bin/sailfish-devel-mcp index 94a946e..b2741fa 100755 --- a/bin/sailfish-devel-mcp +++ b/bin/sailfish-devel-mcp @@ -6,6 +6,7 @@ PYTHONPATH="$root/src${PYTHONPATH:+:$PYTHONPATH}" export PYTHONPATH PYTHONUNBUFFERED="${PYTHONUNBUFFERED:-1}" export PYTHONUNBUFFERED +server_label="${SAILFISH_DEVEL_MCP_SERVER_LABEL:-sailfish-devel-mcp}" if [ -n "${SAILFISH_DEVEL_MCP_LOG_DIR:-}" ]; then log_dir=$SAILFISH_DEVEL_MCP_LOG_DIR @@ -56,8 +57,8 @@ if mkdir -p "$log_dir" 2>/dev/null && touch "$log_file" 2>/dev/null; then trap 'status=$?; log_exit_once "$status"' EXIT printf '\n' >&2 - printf '[%s] starting sailfish-devel-mcp wrapper_pid=%s parent_pid=%s' \ - "$(date -Is)" "$$" "${PPID:-unknown}" >&2 + printf '[%s] starting sailfish-devel-mcp server_label=%s wrapper_pid=%s parent_pid=%s' \ + "$(date -Is)" "$server_label" "$$" "${PPID:-unknown}" >&2 if [ "$#" -gt 0 ]; then printf ' argv=' >&2 for arg do |