SERVER-11661 Extract port as the same type as the option registered in tools