MariaRocks port: fix rocksdb.rocksdb_checksums to work for MariaDB in the mornings
MySQL's log entries start with log entries like YYYY-MM-DD 08:25:04 ... while MariaDB YYYY-MM-DD 8:25:04 ... note that '08' turns into ' 8'. Made grep pattern to account for this.
Showing
Please register or sign in to comment