
In debug mode, when scanning the server id from a string, check that resulting number is 32bit. Also, when querying the server id, query the global version. Now, if a super user modifies the server id the monitor will notice it. Server id:s in gtid:s are handled similarly.