This seems like a stupid question but somehow I've been unable to track down an answer after some time searching the forums and documentation.
I'm currently talking with central IT about moving our WeBWorK install from a physical server I maintain to their system (on one or more VMs) since our hardware is several years old and at some point maintenance issues will come up.
They asked if I want to keep using the internal mysql database, or move everything to their cluster. To determine costs, they want to know the size of the current database.
So far, I haven't managed to track down where, exactly, the DB lives to give them the size! I'm also not quite clear on where one edits the settings to change from the default setup to using a database on a different server.
Any help would be appreciated.