| http://www.w3.org/ns/prov#value | - Started looking at your patch. It seems to behave reasonably, although it still does not catch all of the failure cases. In particular, as you note, crashed jobs will not be noticed until the pool shuts down... but if you make a blocking call such as in the following program, you will get a hang:
|