Changing localhost port?

[SammyHegab]

Hi

Does anyone know where I can change the port from 8080 to any other port i.e 8081?

[jon]

Please see the solution posted here: http://forums.opengamma.com/forum/discussion/comment/1022#Comment_1022

Thanks
Jon