OK, what I ended up doing (before I got your reply) which worked: copy out the entire database with mysqldump, do a search/replace on the text file with sed, then upload it back into the database. (All from command line ssh-ing in to the server.)
$
mysqldump -u username -p[password] [database_name] > shorestations_dump.sql
$ sed -i — ‘s/www.ssweb.dev/shorestations.ucsd.edu/g’ shorestations_dump.sql
$ mysql -u username -p[password] [database_name] < shorestations_dump.sql
It replaced 5 occurrences. (I kept a copy of the unedited database sql file as a backup.)
Even this kind of edit to content created in Cornerstone popped it out of cornerstone when I went back in to WP — but that was actually just what I wanted! Once a couple complete pages were set up it’s much faster to make minor edits to them as text.
Also, I have 9 pages with identical tabbed formatting for a list of locations (http://shorestations.ucsd.edu/shore-stations-data/) and now I can just copy the text from one into a new page and pop in the parts that change without having to navigate in and out of a bunch of elements in Cornerstone.
And Cornerstone no longer causes server disconnection when I do use it. 🙂
Thanks for identifying the miscreant bit of code. Where do you find the error and the url that is causing it by the way? That would be helpful to know for future reference.