get_resource_id

Description:

public virtual string? get_resource_id (Source source)

Verifies that the source is expected here and returns its resource ID, which is used in call to new_child.

It returns null, when the source is not part of the backend and should be removed instead. The default implementation allows all sources, which has esourceresource extension defined.

Parameters:

this	an WebDAVCollectionBackend
source	an Source

Returns:

a resource ID corresponding to source, or null, when the source should be removed.