use counter type for Innodb_buffer_pool_pages_flushed
authorMarek Becka <marek.becka@superhosting.cz>
Tue, 16 Jun 2015 16:38:37 +0000 (12:38 -0400)
committerMarek Becka <marek.becka@superhosting.cz>
Tue, 16 Jun 2015 16:38:37 +0000 (12:38 -0400)
commit56d85ff7bc14d98da63dc443e25085bc5544a1ea
tree127b8e083e02a7b4622b8c29f0c44c5038fa50bb
parent5b67c09d360b38efbdc002b58ae74f1b32240281
use counter type for Innodb_buffer_pool_pages_flushed
src/mysql.c