| http://www.w3.org/ns/prov#value | - Additionally thecode listed for touch()ing a file you do not own should set the file creation time back to it is original time if what is wanted is to just change the modification time.Also, the code listed will break things if there is an i/o error such as disk full or too many files in the directory.here is how the code SHOULD be written:Create the new file FIRST, rather than last, with a different
|
