Searched refs:innodb_prefix (Results 1 – 2 of 2) sorted by relevance
1766 const char *innodb_prefix = "innodb_"; in skip_tablespace() local1770 0 == strncmp(space_name, innodb_prefix, strlen(innodb_prefix))) { in skip_tablespace()
1248 const char *innodb_prefix = "innodb_file_per_table"; in fill_dd_tablespace_id_or_name() local1252 strncmp(tablespace_name, innodb_prefix, strlen(innodb_prefix)) != 0) { in fill_dd_tablespace_id_or_name()