add PortManager::port_name_prefix_is_unique()