title: how to change the teradata server port number?
body: <p>The default port for teradata is 1025. I want to change that. </p>
  
  <p>I have launched the teradata server on ec2. I tried to change it via the "Teradata Administrator Tool", but it does not have such an option.</p>
  
  <p>I could not find any teradata admin tools/tutorials that explains how to change the default port number.</p>