How to change server port?

1. Stop Tomcat
2. Add the line server=http://localhost:2020 in nama.properties
3. Change the port from 8080 to 2020 in Server.xml
4. Start Tomcat

Originally posted at https://answers.namasoft.com/question/1057/ on 2021-02-24.