fix(net): kill curl itself, not only its profile script, on overflow

Run curl in its own process group and kill the group, so the curl
behind a curl_* wrapper script ends at once instead of at its next
write or --max-time (Pullfrog review on #55).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01V3syn2fN2LNo5pvTSqc6eh
This commit is contained in:
hermes 2026-10-17 13:04:39 +00:00
commit a360d0b429
3 changed files with 54 additions and 10 deletions

View file

@ -34,3 +34,6 @@ rusqlite = { workspace = true, optional = true }
quick-xml = { version = "0.37", optional = true }
sha2 = { workspace = true, optional = true }
zip = { workspace = true, optional = true }
[target.'cfg(unix)'.dependencies]
libc = "0.2"