I have a web service that, on user demand via REST API, launches a process that may run for minutes. I need to detect when that process terminates, so I can conditionally l