Bug #38494 | mysql.com search engine ignoring result | ||
---|---|---|---|
Submitted: | 31 Jul 2008 15:26 | Modified: | 11 Aug 2008 16:46 |
Reporter: | Vincent Courcelle | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Server: Documentation | Severity: | S3 (Non-critical) |
Version: | OS: | Any | |
Assigned to: | Stefan Hinz | CPU Architecture: | Any |
Tags: | mysql.com, results, search |
[31 Jul 2008 15:26]
Vincent Courcelle
[31 Jul 2008 15:58]
Valeriy Kravchuk
Thank you for a problem report. Indeed, search in the online manual stopped to work adequately recently, for whatever reason. Use Google search as a temporary workaround.
[1 Aug 2008 22:45]
Stefan Hinz
I bet this is due to initial quirks with our new search appliance. I'll file a Web issue against this. Assigning this bug to myself until the issue has been fixed.
[11 Aug 2008 16:46]
Stefan Hinz
Thank you for your bug report. This issue has been addressed. The search facility for the MySQL Manuall works as expected now. Please note that the search link provided in the bug report still doesn't work. This is because the link was wrong in the first place (the search facility has been fixed to create correct links now).