1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

MDEV-4492 InnoDB generates non-existing link to manual based on the server version

This commit is contained in:
Sergei Golubchik
2013-08-13 16:02:10 +02:00
parent fcf87600a2
commit b882a3e83e
2 changed files with 2 additions and 4 deletions

View File

@ -1,4 +1,4 @@
create table innodb_table_monitor (a int) engine=InnoDB;
Warnings:
Warning 131 Using innodb_table_monitor is deprecated and it may be removed in future releases. Please use the InnoDB INFORMATION_SCHEMA tables instead, see http://dev.mysql.com/doc/refman/10.0/en/innodb-i_s-tables.html
Warning 131 Using innodb_table_monitor is deprecated and it may be removed in future releases. Please use the InnoDB INFORMATION_SCHEMA tables instead, see http://dev.mysql.com/doc/refman/5.6/en/innodb-i_s-tables.html
drop table innodb_table_monitor;