I don't think so...
I think that I restarted the mysql server at the same time as I changed the config. Things were fine for about an hour, and then crashed again.
Right before the crash, I saw many mysql processes with a Locked status - not sure what that means.
I just restarted the server again, let's see what happens.
Max
