Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Updates production Geoserver URL #683

Merged
merged 3 commits into from
Jan 8, 2025
Merged

Conversation

BobTorgerson
Copy link
Contributor

This updates our default Geoserver URL to be our new Geoserver instance. This will be required to allow us to retire an old domain name and a much older version of Geoserver.

@cstephen
Copy link
Contributor

@BobTorgerson, I was going to make a few PR code comment suggestions but ended up pushing a new commit (2d04538) since most of the code changes depend on each other. I found an instance of a hard-coded gs.mapventure.org URL in the code (for the demographics layer over GeoServer's WFS service), so this commit changes that to use the geoserverUrl variable, but also makes small changes in a couple other places to append /wms or /wfs to the geoserverUrl as appropriate. And also updated the README to reflect this.

I'll pass this back to you to review 🏈 . Feel free to merge if my commit looks good to you, or modify/suggest as needed.

@brucecrevensten brucecrevensten force-pushed the production_server_update branch from 2d04538 to f07f950 Compare January 7, 2025 22:41
@brucecrevensten brucecrevensten merged commit fe1ab51 into main Jan 8, 2025
1 check failed
@brucecrevensten brucecrevensten deleted the production_server_update branch January 8, 2025 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants