SIGINT vs. SIGTERM?
Paul Gilmartin via curl-users <[email protected]>
| Newsgroups | gmane.comp.web.curl.general |
|---|---|
| Message-ID | <[email protected]> |
Running curl from a script I attempt to terminate a long download.
kill -INT curl has no effect
kill -TERM curl terminates curl.
Does curl trap SIGINT for some special behavior,
leaving the default SIGTERM?
--
Thanks,
gil
--
Unsubscribe: https://lists.haxx.se/mailman/listinfo/curl-users
Etiquette: https://curl.se/mail/etiquette.html