diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-05 23:03:02 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-05 23:03:02 +0000 |
| commit | f8b5f2580e730a8affbccec8b5bde9b96b1f9fc2 (patch) | |
| tree | 8bee6ccf9f4dff4d705c09c6b6a9e94967c58c4e /scripts | |
| parent | ed6cb17501bd14ce5ec009f68fba54539cf1a470 (diff) | |
executor: persist log paths at execution create time, not just at end
Add LogPather interface; ClaudeRunner implements it via ExecLogDir().
Pool pre-populates stdout_path/stderr_path/artifact_dir on the execution
record before CreateExecution, so paths are in the DB from the moment
a task starts running.
ClaudeRunner.Run() skips path assignment when already set by the pool.
Also update scripts/debug-execution to derive paths from the known
convention (<data-dir>/executions/<exec-id>/) as a fallback for
historical records that predate this change.
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/debug-execution | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/scripts/debug-execution b/scripts/debug-execution index eba5c0a..87540b7 100755 --- a/scripts/debug-execution +++ b/scripts/debug-execution @@ -6,6 +6,7 @@ set -euo pipefail DB="/site/doot.terst.org/data/claudomator.db" +DATA_DIR="/site/doot.terst.org/data" PREFIX="${1:?Usage: $0 <execution-id-or-prefix>}" if [[ ! -f "$DB" ]]; then @@ -52,14 +53,17 @@ if [[ -n "$TASK_ROW" ]]; then echo " Working dir: ${WORKING_DIR:-(not set)}" fi +# Resolve log paths: use DB value if set, otherwise derive from known convention. +EXEC_LOG_DIR="${DATA_DIR}/executions/${EXEC_ID}" +: "${STDOUT_PATH:=${EXEC_LOG_DIR}/stdout.log}" +: "${STDERR_PATH:=${EXEC_LOG_DIR}/stderr.log}" + # Logs print_log() { local label="$1" path="$2" echo "" echo "=== $label ===" - if [[ -z "$path" ]]; then - echo " (path not recorded)" - elif [[ ! -f "$path" ]]; then + if [[ ! -f "$path" ]]; then echo " (file not found: $path)" elif [[ ! -s "$path" ]]; then echo " (empty)" |
