mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-16 20:07:13 +02:00
Code Issues Projects Releases Packages Wiki Activity

Copy of

Browse source 
commit dcd9379eb5707bc7514a2ff4d9127790356505cb
Author: Manuel Ung <mung@fb.com>
Date:   Fri Jun 14 10:38:17 2019 -0700

    Skip valgrind for rocksdb.force_shutdown

    Summary:
    This test does unclean shutdown, and leaks memory.

    Squash with: D15749084

    Reviewed By: hermanlee

    Differential Revision: D15828957

    fbshipit-source-id: 30541455d74
This commit is contained in:
Sergei Petrunia 2019-06-15 21:29:46 +03:00
commit 5173e396ff
227 changed files with 18235 additions and 5212 deletions
Download patch file Download diff file Expand all files Collapse all files

3
storage/rocksdb/rdb_psi.h
View file

@ -20,7 +20,8 @@
/* MySQL header files */
#include <my_global.h>
#include <my_pthread.h>
#include <mysql/psi/psi.h>
#include <mysql/psi/mysql_stage.h>
/* MyRocks header files */
#include "./rdb_utils.h"