curl-users
RE: Finding PID of a curl process
From: Jon Harris <jharris_at_symetrix.co>
Date: Tue, 30 Apr 2019 06:48:03 +0000
Date: Tue, 30 Apr 2019 06:48:03 +0000
-----Original Message-----
From: Jon Seymour <jon.seymour_at_gmail.com>
"The low tech solution is to wrap curl with a shell script that has the
behaviour you want."
--------------------
Thanks for the input. Wrapping with a shell script is probably the best way for me to handle this. PID files are very common with long-lived daemons, but less so with typically transient processes such as curl.
-----------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
Etiquette: https://curl.haxx.se/mail/etiquette.html
Received on 2019-04-30