I think that the bug that I reported may be different from the one that has been reported here. I tried David's solution. And it didn't work on my server. Server stopped MySQL successfully. But it didn't start MySQL for the same reasons that I outlined in my bug report above.
I think that the bug that I reported may be different from the one that has been reported here. I tried David's solution. And it didn't work on my server. Server stopped MySQL successfully. But it didn't start MySQL for the same reasons that I outlined in my bug report above.