Force-kill stuck AI terminal commands#316

Merged

hendrikmennen merged 1 commit into

mainfrom

fix/ai-terminal-kill-stuck

Jul 15, 2026

Commits on Jul 15, 2026

Force-kill stuck AI terminal commands that ignore interrupt

hendrikmennen
and
Copilot
committed