WL#999: --limit option to mysqlbinlog

Affects: Server-7.1   —   Status: Un-Assigned   —   Priority: High

Asked by Sinisa:
when you read a big binlog with mysqlbinlog, if you want only a few lines:
mysqlbinlog --position=xx --limit=xx
On Unix systems one can use 'head':
 mysqlbinlog --position=xx | head:
at least on Linux, when head terminates it kills mysqlbinlog (so mysqlbinlog
will not read the whole file (which would take a long time)), so this task is
not super-urgent. On Windows, pipes don't work the same so mysqlbinlog would
read the whole file so it would be useful (though users can do Control-C).