grails tip: changing local jetty server port number

taken from scott davis' excellent beginners tutorial, here is how to change your jetty server port number.

if you want to change the port number on a temporary basis, when in your application directory, just run the following command (using your port number of choice):

grails -Dserver.port=9090 run-app

on the other hand, if you want to make this change on a more permanent basis, locate your $GRAILS_HOME/scripts/Init.groovy file and change the port number on the following lines:

  serverPort = System.getProperty('server.port') ? 
    System.getProperty('server.port').toInteger() : 9090