Thanks for the reply Marc.
My question was prompted by trying just what you said and I got a weird error about the repository not being available. I have just cleared the whole server down and reinstalled everything and it works just as you say so I'm not sure what happened the first time
I am having some real fun and games trying to set up my first server using WAR deployment and it has been a VERY steep learning curve. I tried a few weeks ago and seemed to get a long way with it but then it all came crashing down and starting again from scratch has been a nightmare.
Hopefully it is all stable again now but thanks for your help.
Steve