MySQL Bugs: #20074: typo FILE-NAME should be FILE_NAME in example for files-table.html

Bug #20074	typo FILE-NAME should be FILE_NAME in example for files-table.html
Submitted:	25 May 2006 18:43	Modified:	25 May 2006 18:48
Reporter:	Jonathan Miller	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Server: Documentation	Severity:	S3 (Non-critical)
Version:	5.1.12	OS:	Linux (Linux 32 Bit OS)
Assigned to:	Paul DuBois	CPU Architecture:	Any

Description:
http://dev.mysql.com/doc/refman/5.1/en/files-table.html

 The difference between these two columns is the number of extents currently in use by the file:

SELECT TOTAL_EXTENTS - FREE_EXTENTS AS extents_used
    FROM INFORMATION_SCHEMA.FILES
    WHERE FILE-NAME = 'myfile.dat';

mysql> SELECT TOTAL_EXTENTS - FREE_EXTENTS AS extents_used     FROM INFORMATION_SCHEMA.FILES WHERE FILE-NAME = 'datafile.dat';
ERROR 1054 (42S22): Unknown column 'FILE' in 'where clause'
mysql> SELECT TOTAL_EXTENTS - FREE_EXTENTS AS extents_used     FROM INFORMATION_SCHEMA.FILES WHERE FILE_NAME = 'datafile.dat';
+--------------+
| extents_used |
+--------------+
|            0 |
|            0 |
+--------------+
2 rows in set (0.01 sec)

How to repeat:
N/A

Suggested fix:
SELECT TOTAL_EXTENTS - FREE_EXTENTS AS extents_used
    FROM INFORMATION_SCHEMA.FILES
    WHERE FILE_NAME = 'myfile.dat';

Thank you for your bug report. This issue has been addressed in the
documentation. The updated documentation will appear on our website
shortly, and will be included in the next release of the relevant
product(s).