Recently I upgraded mysql-server-5.1 to the (then) latest version and it succeeded :-) Several days later it consistantly starts it correctly, so as far as I am concerned, this bug can be closed.
Regards, Diederik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

