remove_monitor


Description:

public void remove_monitor (owned Monitor monitor) throws Error