/// <summary> Removes a protocol from the stack. Stops the protocol and readjusts the linked lists of
/// protocols.
/// </summary>
/// <param name="prot_name">The name of the protocol. Since all protocol names in a stack have to be unique
/// (otherwise the stack won't be created), the name refers to just 1 protocol.
/// </param>
/// <exception cref=""> Exception Thrown if the protocol cannot be stopped correctly.
/// </exception>
public virtual void removeProtocol(string prot_name)
{
conf.removeProtocol(prot_name);
}
