CURL cannot be killed by a PHP SIGINT with custom signal handler

Jonathan Bull <[email protected]> Tue, 10 Apr 2018 19:02:19 +0100
Newsgroups gmane.comp.web.curl.php
Message-ID <[email protected]>
SSBoYXZlIGEgUEhQIGNvbW1hbmQgbGluZSBhcHAgd2l0aCBhIGN1c3RvbSBzaHV0ZG93biBoYW5k
bGVyOgoKICAgIGRlY2xhcmUodGlja3M9MSk7CgogICAgJHNodXRkb3duSGFuZGxlciA9IGZ1bmN0
aW9uICgpIHsKICAgICAgICBlY2hvICdFeGl0aW5nJzsKICAgICAgICBleGl0KCk7CiAgICB9OwoK
ICAgIHBjbnRsX3NpZ25hbChTSUdJTlQsICRzaHV0ZG93bkhhbmRsZXIpOwoKICAgIHdoaWxlICh0
cnVlKSB7CiAgICAgICAgJGNoID0gY3VybF9pbml0KCk7CiAgICAgICAgY3VybF9zZXRvcHQoJGNo
LCBDVVJMT1BUX1VSTCwgJ2h0dHA6Ly9zbG93LXJlc3BvbmRpbmctdXJsLmNvbScpOwogICAgICAg
IGN1cmxfZXhlYygkY2gpOwogICAgICAgIGN1cmxfY2xvc2UoJGNoKTsKICAgIH0KCklmIEkga2ls
bCB0aGUgc2NyaXB0IHdpdGggYEN0cmwrQ2Agd2hpbGUgYSBDVVJMIHJlcXVlc3QgaXMgaW4gcHJv
Z3Jlc3MsIGl0IGhhcyBubyBlZmZlY3QuIFRoZSBjb21tYW5kIGp1c3QgaGFuZ3MuIElmIEkgcmVt
b3ZlIG15IGN1c3RvbSBzaHV0ZG93biBoYW5kbGVyLCBgQ3RybCtDYCBraWxscyB0aGUgQ1VSTCBy
ZXF1ZXN0IGltbWVkaWF0ZWx5LgoKCldoeSBpcyBDVVJMIHVua2lsbGFibGUgd2hlbiBJIGRlZmlu
ZSBhIGBTSUdJTlRgIGhhbmRsZXI/IFRoYW5rcyEKX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX18KaHR0cHM6Ly9jb29sLmhheHguc2UvY2dpLWJpbi9tYWlsbWFu
L2xpc3RpbmZvL2N1cmwtYW5kLXBocAo=