remove_source


Description:

public void remove_source (Source source)

Removes source and all of its descendants from this.

Parameters:

this

an SourceRegistryServer

source

an Source