

% gatekeeper_port(edinburgh,  'quail.csd.abdn.ac.uk:7000'). 

ix_port(edinburgh, 'oronsay.aiai.ed.ac.uk:5080'). 
ix_port(aberdeen,  'oronsay.aiai.ed.ac.uk:5082'). 

gatekeeper_port(edinburgh,  'cara.aiai.ed.ac.uk:7000'). 
