Change of web 8080 port number?

[Dave_G1 (Dave Garratt)]

That sounds like a good idea - I will give it a try and let you know.

Dave