remove_child_source

Description:

public void remove_child_source (Source child_source)

Detaches child_source from this and destroys it.

This API is only intended to be used by implementations of SocketSource. Do not call this API on a SocketSource that you did not create.

this	a SocketSource
child_source	a SocketSource previously passed to add_child_source.