Make Server_global.monitor an std::vector.