Esa Korhonen 14e38e4e08 MXS-2158 Return true if update_gtids() succeeds, even if no data is returned
Previously, if the server had no gtid:s, the method would fail leading to
a confusing error message. This could even totally stop the monitor from working
if a recent server version (10.X) did not have any gtid events.
2018-11-14 10:56:42 +02:00
..
2018-11-12 10:13:59 +02:00
2018-09-10 13:22:49 +03:00
2018-06-25 10:07:52 +03:00
2017-01-16 10:56:33 +02:00