[Felix, Chris] Open tomcat's port (8080) for geoserver.