(fix by our Harrison Fisk): when one does SET GLOBAL SERVER_ID=x, we must set server_id_supplied to 1.
Attach a file by drag & drop or click to upload
guilhem@mysql.com authored