GeoNode/geonode — pull request #323 by matthewhanson (2012-07-17 15:58:05+00:00)
Title: Fixed port on dev GeoServer proxy

Fixed port number in paster script for GeoServer proxy (to 8001 from 8080)