%
% select the portal server for test/production service
%
  outbash   %%%  servinj
%
% stack: portal-pre-url
%