| http://www.w3.org/ns/prov#value | - So far as I know, there is no way to close a file under Windows if it is being held open by another process, except to kill the other process... but I could be wrong, and I have no clue about what may or may not work on various Unix implementations for example.
|