There wasn't much as far as instructions to be found, so here's a short list of what I had to do to get things running again.
- Stopped the running version 1.7.4 server
- Renamed the ops.txt file to ops.txt.bak
- Renamed the user files in <minecraft root folder>/world/players from playername.dat to playername.dat.bak
- Downloaded the newest .jar file for the Minecraft server using wget into the root folder (normally I'd link to that file, but that changes often)
- Ran the script to start up the server using a new screen
- Wait for the conversions to take place, then first thing from the server console op my username (otherwise, nobody has op status
The ops file and white-list now are .json files that contain both the usernames and their new UUID. Otherwise, things looked pretty much back to normal.
4/14/2104
Addendum: Doing some more research, it looks like the user files should have upgraded automatically when server 1.7.8 was started for the first time. I saw an error message stating that the conversion failed (and the server stopped). That's why I renamed the user files and started over.
At the same time, there were reports that some of the Mojang services were having issues, including the service that would have done the conversion.
Conclusion, step 3 might not have been completely necessary. User's inventory might have been preserved in the upgrade process, but I haven't seen anyone else post anything about that.