file:delete
Deletes a file or a directory from the file system.
delete($path as xs:string) ➔ empty-sequence()
Arguments | |||
| $path | xs:string | Path to file/directory |
Result | empty-sequence() | ||
delete($path as xs:string, $recursive as xs:boolean) ➔ empty-sequence()
Arguments | |||
| $path | xs:string | Path to file/directory |
| $recursive | xs:boolean | Whether the operation should recurse down though the filesystem tree |
Result | empty-sequence() | ||
Namespace
http://expath.org/ns/file