Change the format of output when using opt_print_gtids

Summary:
This will make it easy for parsing the output.
Closes #413

Reviewed By: abhinav04sharma

Differential Revision: D4165245

Pulled By: santoshbanda

fbshipit-source-id: da18ded

client/mysqlbinlog.cc

@@ -4128,6 +4128,10 @@ int main(int argc, char** argv)
     char *encountered_gtids = gtid_set_excluded->to_string();
     if (encountered_gtids)
     {
+      // Replace new lines with spaces. Easy for parsing the output.
+      for (char *ptr = encountered_gtids; *ptr; ++ptr) {
+        if (*ptr == '\n') *ptr = ' ';
+      }
       fprintf(stderr, "Executed gtids: %s\n", encountered_gtids);
       my_free(encountered_gtids);
     }