Frees an WebDAVResource previously created with WebDAVResource or copy.
The function does nothing, if ptr is null.
ptr
null
an WebDAVResource