jdbruijn wrote:However I would expect the server to be able to notify me if a batch job is no longer running, I see that as part of its job
There could be multiple reasons why a batchproc stops.
- client just disappears (your case)
- code stopped (due to programming issue)
- cronjob issue
As the trigger depends, it's hard to implement 1 solution.
Writing your own shouldn't be much work.