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
On Sun, 25 Aug 2024, Paul Gilmartin via curl-users wrote:
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?
SIGINT is the signal
Don't consider this a problem report; I've worked around it.
On 8/25/24 15:20, Daniel Stenberg wrote:
On Sun, 25 Aug 2024, Paul Gilmartin via curl-users wrote:
Running curl from a script I attempt to terminate a long download.
kill -INT curl has no effect
kill -TERM curl terminates cur
On Sun, Aug 25, 2024 at 7:21 PM Paul Gilmartin via curl-users
wrote:
>
> Don't consider this a problem report; I've worked around it.
>
> On 8/25/24 15:20, Daniel Stenberg wrote:
>
> > On Sun, 25 Aug 2024, Paul Gilmartin via curl-users wrote:
> >
> >> Running curl from a script I attempt to termin
