[MDEV-13675] filsort_priority_queue Created: 2017-08-30 Updated: 2017-11-21 Resolved: 2017-11-21 |
|
| Status: | Closed |
| Project: | MariaDB Server |
| Component/s: | Configuration |
| Affects Version/s: | 10.3.1 |
| Fix Version/s: | 10.3.2 |
| Type: | Bug | Priority: | Blocker |
| Reporter: | Ian Gilfillan | Assignee: | Sergei Golubchik |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Description |
|
MariaDB 10.3.1 adds a new option to log_slow_filter, filsort_priority_queue. Not sure if this is intentional or a typo, but it's a poor choice of name, and should rather be filesort_priority_queue, to match the other options (assuming it refers to filesort and not something else). |
| Comments |
| Comment by Ian Gilfillan [ 2017-11-21 ] |
|
Was fixed in 10.3.2: https://github.com/MariaDB/server/commit/ac57a30bd9 |