MySQL and Server Maps

Hey, so I see all these large hub servers, such as Mineplex, and I am wondering how they manage their maps and all that? They can't possibly play around with and update each lobby map for their 30 or so lobby servers. Do they manage the map with MySQL or something?

 

They will, of course, have some sort of system in place - we won't never what they do without asking. (btw; you cant download a full map from mysql)

• Download a map from an FTP Server (Something I've done)
• Download a map from a running map server (Something Double0negative done)
• -- Some stuff I wouldn't really do tbh --
• Download all maps on server start
• Download a desired map when its needed, reuse later. (Possibly bandwidth issues, but uses more diskspace)

Personally I'd do the number 1 or two, 1 being harder if you don't want to use extra libs.