Files
padelnomics/padelnomics/scripts
Deeman 891b875cd1 fix dev_run.sh not stopping child processes on Ctrl-C
run_with_label piped output through a while loop, so $! tracked the
formatter PID instead of the actual command. Ctrl-C killed the formatters
but left app/worker/css-watch running as orphans. Switch to process
substitution so $! is the real command PID, and pkill -P children before
killing tracked PIDs.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
2026-02-18 17:38:26 +01:00
..
2026-02-11 14:53:09 +01:00
2026-02-11 14:53:09 +01:00
2026-02-11 14:53:09 +01:00